著者
書誌事項
Studies in logic and the foundations of mathematics
North-Holland
注記
Publisher changes to Elsevier
NCID:AA00851874
-
101
- Toward a systematic pragmatics
-
by R. M. Martin
Greenwood Press [1974] Studies in logic and the foundations of mathematics
所蔵館3館
-
102
- Generalized recursion theory : proceedings of the 1972 Oslo symposium
-
ed. by J. E. Fenstad and P. G. Hinman
North-Holland Pub. Co. , American Elsevier Pub. Co. 1974 Studies in logic and the foundations of mathematics v. 79
: North-Holland , : American Elsevier
所蔵館41館
-
103
- Non-standard analysis
-
Abraham Robinson
North-Holland , American Elsevier 1974 Rev. ed Studies in logic and the foundations of mathematics
series , ne , us
所蔵館43館
-
104
- An algebraic approach to non-classical logics
-
Helena Rasiowa
North-Holland , American Elsevier 1974 Studies in logic and the foundations of mathematics v. 78
所蔵館55館
-
105
- An algebraic approach to non-classical logics
-
PWN - Polish Scientific Publishers 1974 Studies in logic and the foundations of mathematics v. 78
所蔵館4館
-
106
- Elementary induction on abstract structures
-
[by] Yiannis N. Moschovakis
North-Holland Pub. Co. , American Elsevier Pub. Co. 1974 Studies in logic and the foundations of mathematics v. 77
: ne , : us
所蔵館40館
-
107
- Set theory : an introduction to large cardinals
-
Frank R. Drake
North-Holland 1974 Studies in logic and the foundations of mathematics v. 76
Elsevier , North-Holland
所蔵館52館
-
108
- Introduction to model theory and to the metamathematics of algebra
-
Abraham Robinson
North-Holland , Elsevier Science , Sole distributors for the U.S.A. and Canada, Elsevier Science 1974 2nd ed Studies in logic and the foundations of mathematics
所蔵館21館
-
109
- Logic in algebraic form : three languages and theories
-
William Craig
North-Holland Pub. Co. , American Elsevier Pub. Co. 1974 Studies in logic and the foundations of mathematics v. 72
: us , : ne
所蔵館58館
-
110
- Model theory
-
C.C. Chang and H.J. Keisler
North-Holland Pub. Co. 1973 Studies in logic and the foundations of mathematics 73
所蔵館56館
-
111
- Logic, methodology and philosophy of science IV : Proceedings
-
edited by Patrick Suppes [et al.]
North-Holland Pub. Co. , American Elsevier Pub. Co. 1973 Studies in logic and the foundations of mathematics v. 74
: ne , : us
所蔵館59館
-
112
- The axiom of choice
-
Thomas J. Jech
North-Holland 1973 Studies in logic and the foundations of mathematics v. 75
: ne , : us
所蔵館52館
-
113
- Foundations of set theory
-
Abraham A. Fraenkel, Yehoshua Bar-Hillel, Azriel Levy, with the collaboration of Dirk van Dalen
North-Holland 1973 2nd rev. ed Studies in logic and the foundations of mathematics v. 67
所蔵館74館
-
114
- Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics
-
edited by Hugues Leblanc
North-Holland 1973 Studies in logic and the foundations of mathematics v. 68
所蔵館92館
-
115
- Word problems : decision problems and the Burnside problem in group theory
-
edited by W.W. Boone, F.B. Cannonito, R.C. Lyndon
North-Holland c1973 Studies in logic and the foundations of mathematics v. 71
所蔵館63館
-
116
- Contributions to non-standard analysis
-
edited by W. A. J. Luxemburg and A. Robinson
North-Holland Pub. Co. 1972 Studies in logic and the foundations of mathematics v. 69
所蔵館49館
-
117
- The theory of semisets
-
[by] Petr Vopěnka and Petr Hájek
North-Holland 1972 Studies in logic and the foundations of mathematics v. 70
所蔵館52館
-
118
- Mathematical interpretation of formal systems
-
Th. Skolem ... [et al.]
North-Holland Pub. Co. 1971 2nd ed Studies in logic and the foundations of mathematics
所蔵館24館
-
119
- Logic Colloquium '69 : Proceedings of the Summer school and Colloquium in Mathematical Logic, Manchester, August 1969
-
Ed. by R.O. Gandy and C.M.E. [sic] Yates
UT Back-in-Print Service c1971 Studies in logic and the foundations of mathematics v. 61
所蔵館2館
-
120
- Undecidable theories
-
by Alfred Tarski ; in collaboration with Andrzej Mostowski and Raphael M. Robinson
North-Holland 1971, c1953 3rd printing Studies in logic and the foundations of mathematics
所蔵館18館