著者
書誌事項
Studies in logic and the foundations of mathematics
North-Holland
注記
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
所蔵館39館
-
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
所蔵館44館
-
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
所蔵館31館
-
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
所蔵館32館
-
25
- Hausdorff gaps and limits
-
Ryszard Frankiewicz, Pawel Zbierski
North-Holland 1994 Studies in logic and the foundations of mathematics v. 132
所蔵館36館
-
26
- Recursive functionals
-
Luis E. Sanchis
North-Holland 1992 Studies in logic and the foundations of mathematics v. 131
所蔵館34館
-
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.
所蔵館21館
-
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
所蔵館54館
-
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
所蔵館41館
-
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
所蔵館78館
-
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
所蔵館47館
-
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
所蔵館37館
-
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
所蔵館38館
-
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
所蔵館52館
-
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
所蔵館42館
-
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
所蔵館76館
-
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
所蔵館40館
-
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.
所蔵館30館
-
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
所蔵館49館
-
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
所蔵館40館
