Author(s)
Bibliographic Information
Studies in logic and the foundations of mathematics
North-Holland
Note
Publisher changes to Elsevier
NCID:AA00851874
-
21
- Admissibility of logical inference rules
-
Vladimir V. Rybakov
Elsevier Science B.V. 1997 Studies in logic and the foundations of mathematics v. 136
Available at 39 libraries
-
22
- Logical frameworks for truth and abstraction : an axiomatic study
-
Andrea Cantini
Elsevier Science B.V. 1996 Studies in logic and the foundations of mathematics v. 135
Available at 44 libraries
-
23
- Logic, methodology and philosophy of science IX : proceedings of the Ninth International Congress of Logic, Methodology and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991
-
edited by Dag Prawitz, Brian Skyrms, Dag Westerståhl
Elsevier 1994 Studies in logic and the foundations of mathematics v. 134
Available at 31 libraries
-
24
- Selected papers on Automath
-
edited by R.P. Nederpelt, J.H. Geuvers, R.C. de Vrijer ; with the assistance of L.S. van Benthem Jutting, D.T. van Daalen
Elsevier 1994 Studies in logic and the foundations of mathematics v. 133
Available at 31 libraries
-
25
- Hausdorff gaps and limits
-
Ryszard Frankiewicz, Pawel Zbierski
North-Holland 1994 Studies in logic and the foundations of mathematics v. 132
Available at 36 libraries
-
26
- Recursive functionals
-
Luis E. Sanchis
North-Holland 1992 Studies in logic and the foundations of mathematics v. 131
Available at 34 libraries
-
27
- Classical recursion theory : the theory of functions and sets of natural numbers
-
Piergiorgio Odifreddi
North-Holland 1992 Studies in logic and the foundations of mathematics v. 125
: pbk.
Available at 21 libraries
-
28
- Language in action : categories, lambdas and dynamic logic
-
Johan van Benthem
North-Holland , Distributors for the United States and Canada, Elsevier Science 1991 Studies in logic and the foundations of mathematics v. 130
Available at 55 libraries
-
29
- Classification theory and the number of non-isomorphic models
-
S. Shelah
North-Holland , Distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. 1990 Rev. ed Studies in logic and the foundations of mathematics v. 92
Available at 41 libraries
-
30
- Model theory
-
C.C. Chang and H.J. Keisler
North-Holland , Sole distributors for the U.S.A. and Canada, Elsevier Science Publishing Company, Inc. 1990 3rd ed Studies in logic and the foundations of mathematics v. 73
Available at 78 libraries
-
31
- Logic, methodology and philosophy of science VIII : proceedings of the Eighth International Congress of Logic, Methodology and Philosophy of Science, Moscow, 1987
-
edited by Jens Erik Fenstad, Ivan T. Frolov, Risto Hilpinen
North-Holland , Sole distributors for the U.S.A. and Canada, Elsevier Science 1989 Studies in logic and the foundations of mathematics v. 126
Available at 47 libraries
-
32
- Logic Colloquium '88 : proceedings of the colloquium held in Padova, Italy, August 22-31, 1988
-
edited by R. Ferro ... [et al.]
North-Holland 1989 Studies in logic and the foundations of mathematics v. 127
Available at 38 libraries
-
33
- Logic Colloquium '87 : proceedings of the colloquium held in Granada, Spain, July 20-25, 1987
-
edited by H.-D. Ebbinghaus ... [et al.]
North-Holland 1989 Studies in logic and the foundations of mathematics v. 129
Available at 38 libraries
-
34
- Computability, complexity, logic
-
E. Börger ; [translated into the English language and prepared for offset printing by J.C. Harvey]
North-Holland , Distributors for U.S.A. and Canada, Elsevier Science Publishing Company, Inc. 1989 Studies in logic and the foundations of mathematics v. 128
Available at 52 libraries
-
35
- The theory of functions and sets of natural numbers
-
Piergiorgio Odifreddi
North-Holland , Sole distributors for the USA and Canada, Elsevier Science Pub. Co. 1989 Studies in logic and the foundations of mathematics v. 125 . Classical recursion theory
Available at 42 libraries
-
36
- Constructivism in mathematics : an introduction
-
A.S. Troelstra, D. van Dalen
North-Holland 1988 Studies in logic and the foundations of mathematics v. 121,
123 v. 1 , v. 1:pbk. , v. 2
Available at 77 libraries
-
37
- Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K., July 13-19, 1986
-
edited by F.R. Drake and J.K. Truss
North-Holland 1988 Studies in logic and the foundations of mathematics v. 124
Available at 40 libraries
-
38
- Logic Colloquium '85 : proceedings of the colloquium held in Orsay, France, July 1985
-
edited by the Paris Logic Group
North-Holland 1987 Studies in logic and the foundations of mathematics v. 122
: U.S.
Available at 30 libraries
-
39
- Proof theory
-
Gaisi Takeuti
North-Holland , Sole distributors for the U.S.A. and Canada, Elsevier Science 1987 2nd ed Studies in logic and the foundations of mathematics v. 81
Available at 50 libraries
-
40
- Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic, and probability theory
-
Theodore Hailperin
North-Holland 1986 2nd ed., rev. and enl. Studies in logic and the foundations of mathematics v. 85
Available at 40 libraries