著者
書誌事項
Studies in logic and the foundations of mathematics
North-Holland
注記
Publisher changes to Elsevier
NCID:AA00851874
-
201
- Nomological statements and admissible operations
-
Hans Reichenbach
North-Holland 1954 Studies in logic and the foundations of mathematics
所蔵館37館
-
202
- Undecidable theories
-
by Alfred Tarski ; in collaboration with Andrzej Mostowski and Raphael M. Robinson
North-Holland Pub. Co. 1953 Studies in logic and the foundations of mathematics
所蔵館37館
-
203
- Abstract set theory
-
Abraham A. Fraenkel
North-Holland 1953 Studies in logic and the foundations of mathematics
所蔵館42館
-
204
- Truth and consequence in mediaeval logic
-
Ernest A. Moody
North-Holland Pub. Co. 1953 Studies in logic and the foundations of mathematics
所蔵館50館
-
205
- Many-valued logics
-
J. Barkley Rosser, Atwell R. Turquette
North-Holland Pub. Co. 1952 Studies in logic and the foundations of mathematics
所蔵館48館
-
206
- Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
-
Andrzej Mostowski
North-Holland Pub. Co. 1952 Studies in logic and the foundations of mathematics
所蔵館58館
-
207
- On the metamathematics of algebra
-
Abraham Robinson
North-Holland Pub. Co. 1951 Studies in logic and the foundations of mathematics
所蔵館27館
-
208
- An essay in modal logic
-
Georg H. von Wright
North-Holland Publishing Co. 1951 Studies in logic and the foundations of mathematics
所蔵館30館
-
209
- Outlines of a formalist philosophy of mathematics
-
Haskell B. Curry
North-Holland Pub. Co. c1951 Studies in logic and the foundations of mathematics
所蔵館58館
-
210
- The propositional logic of Boethius
-
Karl Dürr
North-Holland 1951 Studies in logic and the foundations of mathematics
所蔵館37館
-
211
- Ancient formal logic
-
I.M. Bocheński
North-Holland 1951 Studies in logic and the foundations of mathematics
所蔵館78館
-
212
- Constructivity in mathematics : proceedings of the colloquium held at Amsterdam, 1957
-
ed. by A. Heyting
UT Back-in-Print Service 1959 Studies in logic and the foundations of mathematics
所蔵館1館
