著者
書誌事項
Studies in logic and the foundations of mathematics
North-Holland
注記
Publisher changes to Elsevier
NCID:AA00851874
-
161
- Non-standard analysis
-
Abraham Robinson
North-Holland Pub. Co. 1966 Studies in logic and the foundations of mathematics
所蔵館69館
-
162
- A deductive theory of space and time
-
Saul A. Basri
North-Holland Pub. Co. 1966 Studies in logic and the foundations of mathematics
所蔵館67館
-
163
- Introduction to model theory and to the metamathematics of algebra
-
Abraham Robinson
North-Holland Pub. Co. 1965 2nd ed. Studies in logic and the foundations of mathematics
所蔵館17館
-
164
- Formal systems and recursive functions : proceedings of the eighth Logic Colloquium, Oxford, July 1963
-
edited by J. N. Crossley and M. A. E. Dummett
UT Back-in-Print Service 1965 Studies in logic and the foundations of mathematics
所蔵館2館
-
165
- The foundations of mathematics : a study in the philosophy of science
-
Evert W. Beth
North-Holland 1965 2nd rev. ed. Studies in logic and the foundations of mathematics
所蔵館42館
-
166
- Logic, methodology and philosophy of science : proceedings of the 1964 International Congress
-
edited by Yehoshua Bar-Hillel
North-Holland Pub. Co. 1965 Studies in logic and the foundations of mathematics
所蔵館73館
-
167
- A transfinite type theory with type variables
-
by P.B. Andrews
North-Holland 1965 Studies in logic and the foundations of mathematics
所蔵館58館
-
168
- Introduction to the theory of finite automata
-
N.E.Kobrinskiy and B.A. Trakhtenbrot ; translation edited by J.C. Shepherdson
North-Holland 1965 Studies in logic and the foundations of mathematics
所蔵館63館
-
169
- The theory of models : proceedings
-
Edited by J.W. Addison, Léon Henkin [and] Alfred Tarski
North-Holland Pub. Co. 1965 Studies in logic and the foundations of mathematics
所蔵館5館
-
170
- The foundations of intuitionistic mathematics : especially in relation to recursive functions
-
Stephen Cole Kleene, Richard Eugene Vesley
North-Holland Pub. Co. 1965 Studies in logic and the foundations of mathematics
所蔵館73館
-
171
- Formal systems and recursive functions : proceedings of the eighth Logic Colloquium, Oxford, July 1963
-
edited by J.N. Crossley and M.A.E. Dummett
North-Holland 1965 Studies in logic and the foundations of mathematics
所蔵館64館
-
172
- The theory of models : proceedings of the 1963 International Symposium at Berkeley
-
edited by J.W. Addison, Leon Henkin, Alfred Tarski
North-Holland 1965 Studies in logic and the foundations of mathematics
所蔵館90館
-
173
- Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus
-
by R. L. Goodstein
North-Holland Pub. Co. 1964 Studies in logic and the foundations of mathematics
所蔵館22館
-
174
- Hypothetical reasoning
-
Nicholas Rescher
North-Holland 1964 Studies in logic and the foundations of mathematics
所蔵館42館
-
175
- Languages with expressions of infinite length
-
Carol R. Karp
North-Holland 1964 Studies in logic and the foundations of mathematics
所蔵館64館
-
176
- Equivalents of the axiom of choice
-
Herman Rubin and Jean E. Rubin
North-Holland 1963 Studies in logic and the foundations of mathematics
所蔵館37館
-
177
- Computer programming and formal systems
-
edited by P. Braffort and D. Hirschberg
North-Holland Publishing 1963 Studies in logic and the foundations of mathematics
所蔵館71館
-
178
- Aristotle's modal syllogisms
-
Storrs McCall
North-Holland Pub. Co. 1963 Studies in logic and the foundations of mathematics
所蔵館59館
-
179
- Introduction to model theory and to the metamathematics of algebra
-
Abraham Robinson
North-Holland Pub. Co. 1963 Studies in logic and the foundations of mathematics
所蔵館52館
-
180
- Equivalents of the axiom of choice
-
[by] Herman Rubin and Jean E. Rubin
North-Holland Pub. Co. 1963 Studies in logic and the foundations of mathematics
所蔵館29館
