Author(s)
Bibliographic Information
Studies in logic and the foundations of mathematics
North-Holland
Note
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
Available at 24 libraries
-
2
- Realizability : an introduction to its categorical side
-
Jaap van Oosten
Elsevier 2008 Studies in logic and the foundations of mathematics v. 152
Available at 27 libraries
-
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
Available at 31 libraries
-
4
- Set theory : an introduction to independence proofs
-
Kenneth Kunen
Elsevier 2006, c1980 Studies in logic and the foundations of mathematics v. 102
: [pbk.]
Available at 14 libraries
-
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
Available at 44 libraries
-
6
- Relation algebras
-
Roger D. Maddux
Elsevier 2006 1st ed Studies in logic and the foundations of mathematics v. 150
Available at 24 libraries
-
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
Available at 28 libraries
-
8
- Relation algebras by games
-
Robin Hirsch, Ian Hodkinson
Elsevier 2002 Studies in logic and the foundations of mathematics v. 147
Available at 26 libraries
-
9
- Categorical logic and type theory
-
Bart Jacobs
Elsevier Science 2001, c1999 Studies in logic and the foundations of mathematics v. 141
: hbk , : pbk
Available at 12 libraries
-
10
- Rudiments of μ-calculus
-
A. Arnold, D. Niwiński
Elsevier 2001 Studies in logic and the foundations of mathematics v. 146
Available at 29 libraries
-
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
Available at 28 libraries
-
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
Available at 31 libraries
-
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.
Available at 2 libraries
-
14
- Handbook of computability theory
-
edited by Edward R. Griffor
Elsevier 1999 Studies in logic and the foundations of mathematics v. 140
Available at 43 libraries
-
15
- Classical recursion theory
-
P.G. Odifreddi
Elsevier 1999 Studies in logic and the foundations of mathematics v. 143
v. 2
Available at 31 libraries
-
16
- Tools and techniques in modal logic
-
Marcus Kracht
Elsevier 1999 1st ed Studies in logic and the foundations of mathematics v. 142
Available at 40 libraries
-
17
- Categorical logic and type theory
-
Bart Jacobs
Elsevier Science 1999 Studies in logic and the foundations of mathematics v. 141
Available at 36 libraries
-
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 Available at 32 libraries
-
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 Available at 32 libraries
-
20
- Handbook of proof theory
-
edited by Samuel R. Buss
Elsevier 1998 Studies in logic and the foundations of mathematics v. 137
Available at 64 libraries
