著者
書誌事項
Studies in logic and the foundations of mathematics
North-Holland
注記
Publisher changes to Elsevier
NCID:AA00851874
-
1
- Quantification in nonclassical logic
-
D.M. Gabbay, V.B. Shehtman, D.P. Skvortsov
Elsevier c2009 Studies in logic and the foundations of mathematics v. 153
v. 1
所蔵館24館
-
2
- Realizability : an introduction to its categorical side
-
Jaap van Oosten
Elsevier 2008 Studies in logic and the foundations of mathematics v. 152
所蔵館27館
-
3
- Residuated lattices : an algebraic glimpse at substructural logics
-
Nikolaos Galatos ... [et al.]
Elsevier 2007 1st ed Studies in logic and the foundations of mathematics v. 151
所蔵館31館
-
4
- Set theory : an introduction to independence proofs
-
Kenneth Kunen
Elsevier 2006, c1980 Studies in logic and the foundations of mathematics v. 102
: [pbk.]
所蔵館14館
-
5
- Lectures on the Curry-Howard isomorphism
-
Morten Heine Sørensen, Paweł Urzyczyn
Elsevier 2006 Studies in logic and the foundations of mathematics v. 149
所蔵館44館
-
6
- Relation algebras
-
Roger D. Maddux
Elsevier 2006 1st ed Studies in logic and the foundations of mathematics v. 150
所蔵館24館
-
7
- Many-dimensional modal logics : theory and applications
-
D.M. Gabbay ... [et al.]
Elsevier North Holland 2003 1st ed Studies in logic and the foundations of mathematics v. 148
所蔵館28館
-
8
- Relation algebras by games
-
Robin Hirsch, Ian Hodkinson
Elsevier 2002 Studies in logic and the foundations of mathematics v. 147
所蔵館26館
-
9
- Categorical logic and type theory
-
Bart Jacobs
Elsevier Science 2001, c1999 Studies in logic and the foundations of mathematics v. 141
: hbk , : pbk
所蔵館13館
-
10
- Rudiments of μ-calculus
-
A. Arnold, D. Niwiński
Elsevier 2001 Studies in logic and the foundations of mathematics v. 146
所蔵館29館
-
11
- Theory of relations
-
Roland Fraïssé ; with an appendix by Norbert Sauer
Elsevier 2000 Rev. ed Studies in logic and the foundations of mathematics v. 145
所蔵館28館
-
12
- Computable structures and the hyperarithmetical hierarchy
-
C.J. Ash, J. Knight
Elsevier Science c2000 Studies in logic and the foundations of mathematics v. 144
所蔵館31館
-
13
- Classical recursion theory : the theory of functions and sets of natural numbers
-
Piergiorgio Odifreddi
Elsevier 1999 2nd impression Studies in logic and the foundations of mathematics v. 125
: pbk.
所蔵館2館
-
14
- Handbook of computability theory
-
edited by Edward R. Griffor
Elsevier 1999 Studies in logic and the foundations of mathematics v. 140
所蔵館43館
-
15
- Classical recursion theory
-
P.G. Odifreddi
Elsevier 1999 Studies in logic and the foundations of mathematics v. 143
v. 2
所蔵館31館
-
16
- Tools and techniques in modal logic
-
Marcus Kracht
Elsevier 1999 1st ed Studies in logic and the foundations of mathematics v. 142
所蔵館40館
-
17
- Categorical logic and type theory
-
Bart Jacobs
Elsevier Science 1999 Studies in logic and the foundations of mathematics v. 141
所蔵館36館
-
18
- Recursive algebra, analysis and combinatorics
-
Elsevier 1998 Studies in logic and the foundations of mathematics v. 139 . Handbook of recursive mathematics / edited by Yu. L. Ershov ... [et al.] ; associate editor,
V.M. Marek ; v. 2 所蔵館32館
-
19
- Recursive model theory
-
Elsevier 1998 Studies in logic and the foundations of mathematics v. 138 . Handbook of recursive mathematics / edited by Yu. L. Ershov ... [et al.] ; associate editor,
V.M. Marek ; v. 1 所蔵館32館
-
20
- Handbook of proof theory
-
edited by Samuel R. Buss
Elsevier 1998 Studies in logic and the foundations of mathematics v. 137
所蔵館63館
