著者
書誌事項
Studies in logic and the foundations of mathematics
North-Holland
注記
Publisher changes to Elsevier
NCID:AA00851874
-
121
- Elements of mathematical logic : (model theory)
-
G. Kreisel & J.L. Krivine
North-Holland Publishing Company 1971 Studies in logic and the foundations of mathematics
所蔵館41館
-
122
- Intuitionism : An introduction
-
[By] A. Heyting
North-Holland 1971 3rd rev. ed Studies in logic and the foundations of mathematics
所蔵館54館
-
123
- Cylindric algebras
-
[By] Leon Henkin, J. Donald Monk [and] Alfred Tarski
North-Holland Pub. Co. 1971-1985 Studies in logic and the foundations of mathematics v. 64,
115 pt. 1 , pt. 2
所蔵館54館
-
124
- The metamathematics of algebraic systems : collected papers, 1936-1967
-
Anatoliĭ Ivanovič Malʹcev ; translated [from the Russian], edited, and provided with supplementary notes by Benjamin Franklin Wells, III
North-Holland Pub. Co. 1971 Studies in logic and the foundations of mathematics v. 66
所蔵館47館
-
125
- Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers
-
[By] H. Jerome Keisler
North-Holland Pub. Co. 1971 Studies in logic and the foundations of mathematics v. 62
所蔵館51館
-
126
- 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
North-Holland 1971 Studies in logic and the foundations of mathematics v. 61
所蔵館42館
-
127
- Proceedings of the Second Scandinavian Logic Symposium
-
ed. by J. E. Fenstad
North-Holland Pub. Co. 1971 Studies in logic and the foundations of mathematics v. 63
所蔵館47館
-
128
- Intuitionism and proof theory : Proceedings of the summer conference at Buffalo, N.Y., 1968
-
Edited by A. Kino, J. Myhill and R. E. Vesley
UT Back-in-Print Service c1970 Studies in logic and the foundations of mathematics
所蔵館2館
-
129
- Non-standard analysis
-
Abraham Robinson
North-Holland 1970 Studies in logic and the foundations of mathematics
所蔵館14館
-
130
- Mathematical logic and foundations of set theory : Proceedings of an international colloquium held under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968
-
ed. by Yehoshua Bar-Hillel
North-Holland Pub. Co. 1970 Studies in logic and the foundations of mathematics
所蔵館61館
-
131
- Selected works, Jan Lukasiewicz
-
edited by L. Borkowski ; [translated from the Polish by O. Wojtasiewicz]
North-Holland 1970 Studies in logic and the foundations of mathematics
所蔵館62館
-
132
- Intuitionism and proof theory : proceedings of the summer conference at Buffalo, N.Y., 1968
-
edited by A. Kino, J. Myhill and R.E. Vesley
North-Holland Pub. Co. 1970 Studies in logic and the foundations of mathematics
所蔵館62館
-
133
- The collected papers of Gerhard Gentzen
-
edited by M.E. Szabo
UT Back-in-Print Service c1969 Studies in logic and the foundations of mathematics
所蔵館1館
-
134
- Intuitionistic logic, model theory and forcing
-
M.C. Fitting
UT Back-in-Print Service c1969 Studies in logic and the foundations of mathematics
所蔵館1館
-
135
- The collected papers of Gerhard Gentzen
-
edited by M.E. Szabo
North-Holland Pub c1969 Studies in logic and the foundations of mathematics
所蔵館62館
-
136
- Constructible sets with applications
-
A. Mostowski
North-Holland 1969 Studies in logic and the foundations of mathematics
所蔵館53館
-
137
- Constructive order types
-
[By] John N. Crossley
North-Holland Pub. Co. 1969 Studies in logic and the foundations of mathematics
所蔵館52館
-
138
- Dictionary of symbols of mathematical logic
-
Edited by Robert Feys and Frederic B. Fitch
North-Holland Pub. Co. c1969 Studies in logic and the foundations of mathematics
所蔵館72館
-
139
- Intuitionistic logic, model theory and forcing
-
M.C. Fitting
North-Holland Pub. Co. 1969 Studies in logic and the foundations of mathematics
所蔵館50館
-
140
- Logic, methodology and philosophy of science III : proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967
-
edited by B. Van Rootselaar and J. F. Staal
UT Back-in-Print Service 1968 Studies in logic and the foundations of mathematics
所蔵館2館
