著者
書誌事項
Studies in logic and the foundations of mathematics
North-Holland
注記
Publisher changes to Elsevier
NCID:AA00851874
-
81
- Combinatorial set theory
-
Neil H. Williams
North-Holland Pub. Co. , sole distributors for the U.S.A. and Canada, Elsevier/North Holland 1977 Studies in logic and the foundations of mathematics v. 91
所蔵館43館
-
82
- Complete theories
-
Abraham Robinson
North-Holland Pub. Co. : sole distributors for the U.S.A. and Canada, Elsevier/North-Holland 1977 2d ed. / pref. to 2d ed. by H. J. Keisler Studies in logic and the foundations of mathematics
所蔵館28館
-
83
- Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976
-
edited by R.O. Gandy, J.M.E. Hyland
North-Holland Pub. Co. , Sole distributors for U.S.A. and Canada, Elsevier North-Holland 1977 Studies in logic and the foundations of mathematics v. 87
所蔵館51館
-
84
- Model theory
-
C.C. Chang and H.J. Keisler
North-Holland Pub. Co 1977, c1973 2nd ed Studies in logic and the foundations of mathematics v. 73
所蔵館41館
-
85
- Handbook of mathematical logic
-
edited by Jon Barwise ; with the cooperation of H.J. Keisler ... [et al.]
North-Holland Pub. Co. 1977 Studies in logic and the foundations of mathematics v. 90
: pbk
所蔵館126館
-
86
- Set theory : with an introduction to descriptive set theory
-
K. Kuratowski and A. Mostowski
North-Holland Pub. Co. , PWN-Polish Scientific Pub. , distributor, Elsevier/North-Holland 1976 2d completely rev. ed Studies in logic and the foundations of mathematics v. 86
所蔵館6館
-
87
- Sets and classes : on the work by Paul Bernays
-
edited by Gert H. Müller
c1976 Studies in logic and the foundations of mathematics v. 84
所蔵館2館
-
88
- Abstract set theory
-
Abraham A. Fraenkel
North-Holland , American Elsevier 1976 4th revised ed. / revised by Azriel Levy Studies in logic and the foundations of mathematics
series , ne , us
所蔵館28館
-
89
- Truth and consequence in mediaeval logic
-
Ernest A. Moody
Greenwood Press 1976, c1953 Studies in logic and the foundations of mathematics
所蔵館17館
-
90
- Sets and classes : on the work by Paul Bernays
-
edited by Gert H. Müller
North-Holland Pub. Co. , sole distributors for the U.S.A. and Canada, Elsevier/North-Holland 1976 Studies in logic and the foundations of mathematics v. 84
所蔵館41館
-
91
- Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic, and probability theory
-
Theodore Hailperin
North-Holland 1976 Studies in logic and the foundations of mathematics v. 85
: ne , : us
所蔵館57館
-
92
- Abstract set theory
-
Abraham A. Fraenkel
North-Holland Pub. Co. , American Elsevier Pub. Co. 1976, c1953 4th rev. ed. / rev. by Azriel Lévy Studies in logic and the foundations of mathematics
: North-Holland , (American Elsevier)
所蔵館14館
-
93
- Set theory : with an introduction to descriptive set theory
-
K. Kuratowski and A. Mostowski
North-Holland Pub. Co. , distributor, Elsevier/North-Holland 1976 2d completely rev. ed Studies in logic and the foundations of mathematics v. 86
所蔵館64館
-
94
- Proof theory
-
Gaisi Takeuti
UT Back-in-Print Service 1975 Studies in logic and the foundations of mathematics v. 81
American Elsevier , North-Holland
所蔵館3館
-
95
- Proceedings of the Third Scandinavian Logic Symposium
-
edited by Stig Kanger
UT Back-in-Print Service c1975 Studies in logic and the foundations of mathematics vol.82
us
所蔵館1館
-
96
- Logic colloquium '73 : proceedings of the Logic Colloquium, Bristol, July 1973
-
edited by H.E. Rose and J.C. Shepherdson
North-Holland Pub. Co , American Elsevier Pub. Co. 1975 Studies in logic and the foundations of mathematics v. 80
: North-Holland , : American Elsevier
所蔵館41館
-
97
- Proceedings of the third Scandinavian Logic Symposium
-
edited by Stig Kanger
North-Holland , American Elsevier 1975 Studies in logic and the foundations of mathematics v. 82
所蔵館38館
-
98
- Large infinitary languages : model theory
-
M.A. Dickmann
North-Holland Pub. Co. , American Elsevier Pub. Co. 1975 Studies in logic and the foundations of mathematics v. 83
: series , : North-holland , : (Elsevier)
所蔵館51館
-
99
- Proof theory
-
Gaisi Takeuti
North-Holland Pub. Co , American Elsevier Pub. Co. 1975 Studies in logic and the foundations of mathematics v. 81
American Elsevier , North-Holland
所蔵館80館
-
100
- Introduction to model theory and to the metamathematics of algebra
-
Abraham Robinson
North-Holland , American Elsevier 1974 2nd, revised printing Studies in logic and the foundations of mathematics
: ne , : us
所蔵館10館