著者
書誌事項
Studies in logic and the foundations of mathematics
North-Holland
注記
Publisher changes to Elsevier
NCID:AA00851874
-
61
- The lambda calculus : its syntax and semantics
-
H.P. Barendregt
North-Holland , Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. 1984 Revised edition Studies in logic and the foundations of mathematics v. 103
所蔵館4館
-
62
- The lambda calculus : its syntax and semantics
-
H.P. Barendregt
North-Holland Pub. , sole distributors for the U.S.A. and Canada Elsevier North-Holland 1981 Studies in logic and the foundations of mathematics v. 103
所蔵館54館
-
63
- Fundamentals of generalized recursion theory
-
Melvin Fitting
North-Holland Pub. Co. , Sole distributors for the U.S.A. and Canada, Elsevier North-Holland c1981 Studies in logic and the foundations of mathematics v. 105
所蔵館55館
-
64
- The propositional logic of Boethius
-
Karl Dürr
Greenwood Press 1980 Studies in logic and the foundations of mathematics
所蔵館3館
-
65
- Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978
-
edited by A.I. Arruda, R. Chuaqui, N.C.A. da Costa
North-Holland Pub. Co. , sole distributors for the U.S.A. and Canada, Elsevier North-Holland 1980 Studies in logic and the foundations of mathematics v. 99
所蔵館39館
-
66
- Word problems II : the Oxford book
-
edited by S.I. Adian, W.W. Boone, G. Higman
North-Holland Pub. Co. , sole distributors for the U.S.A. and Canada, Elsevier North-Holland 1980 Studies in logic and the foundations of mathematics v. 95
所蔵館40館
-
67
- Descriptive set theory
-
Yiannis N. Moschovakis
North-Holland , Sole distributors for the U.S.A. and Canada, Elsevier-North Holland 1980 Studies in logic and the foundations of mathematics v. 100
: ne , : us
所蔵館61館
-
68
- Set theory : an introduction to independence proofs
-
Kenneth Kunen
North-Holland Pub. Co , Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. 1980 Studies in logic and the foundations of mathematics v. 102
: hard , : [soft]
所蔵館90館
-
69
- The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.
-
edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen
North-Holland Pub. Co. , Sole distributors for the U.S.A. and Canada, Elsevier North-Holland 1980 Studies in logic and the foundations of mathematics v. 101
所蔵館49館
-
70
- Logic Colloquium '78 : proceedings of the colloquium held in Mons, August 1978
-
edited by Maurice Boffa, Dirk van Dalen, Kenneth McAloon
UT Back-in-Print Service c1979 Studies in logic and the foundations of mathematics v. 97
所蔵館1館
-
71
- Topoi : the categorial analysis of logic
-
Robert Goldblatt
North-Holland Pub. Co , sole distributors for the U.S.A. and Canada, Elsevier North-Holland 1979 Studies in logic and the foundations of mathematics v. 98
所蔵館45館
-
72
- Logic Colloquium '78 : proceedings of the colloquium held in Mons, August 1978
-
edited by Maurice Boffa, Dirk van Dalen, Kenneth McAloon
North-Holland Pub. Co. , Elsevier North-Holland, sole distributors for the U.S.A. and Canada 1979 Studies in logic and the foundations of mathematics v. 97
所蔵館38館
-
73
- Foundational studies : selected works
-
Andrzej Mostowski ; editorial committee, Kazimierz Kuratowski ... [et al.]
North-Holland Pub. Co. , sole distributor for the U.S.A. and Canada, Elsevier North-Holland 1979 Studies in logic and the foundations of mathematics v. 93
v. 1 , v. 2
所蔵館51館
-
74
- Generalized recursion theory II : proceedings of the 1977 Oslo symposium
-
edited by J.E. Fenstad, R.O. Gandy, G.E. Sacks
UT Back-in-Print Service c1978 Studies in logic and the foundations of mathematics v. 94
所蔵館1館
-
75
- Algebra of proofs
-
M. E. Szabo
North-Holland Pub. Co. , sole distributors for the U.S.A. and Canada, Elsevier North-Holland 1978 Studies in logic and the foundations of mathematics v. 88
所蔵館40館
-
76
- Classification theory and the number of non-isomorphic models
-
S. Shelah
North-Holland Pub. Co. , sole distributors for the U.S.A. and Canada, Elsevier/North-Holland 1978 Studies in logic and the foundations of mathematics v. 92
所蔵館40館
-
77
- Logic Colloquium '77 : proceedings of the colloquium held in Wrocław, August 1977
-
edited by Angus Macintyre, Leszek Pacholski, Jeff Paris
North Holland Pub. Co. , sole distributors for the U.S.A. and Canada, Elsevier North-Holland 1978 Studies in logic and the foundations of mathematics v. 96
所蔵館41館
-
78
- Generalized recursion theory II : proceedings of the 1977 Oslo symposium
-
edited by J.E. Fenstad, R.O. Gandy, G.E. Sacks
North-Holland Pub. Co. , sole distributors for the U.S.A. and Canada, Elsevier North-Holland 1978 Studies in logic and the foundations of mathematics v. 94
所蔵館41館
-
79
- Many-valued logics
-
J. Barkley Rosser, Atwell R. Turquette
Greenwood Press 1977, c1952 Studies in logic and the foundations of mathematics
所蔵館2館
-
80
- Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976
-
edited by A.I. Arruda, N.C.A. da Costa, R. Chuaqui
North-Holland Pub. Co. , sale distributors for the U.S.A. and Canada, Elsevier/North-Holland 1977 Studies in logic and the foundations of mathematics v. 89
所蔵館56館
