Research Article
Inner models for set theory—Part II
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 225-237
-
- Article
- Export citation
The axiom of infinity in Quine's New Foundations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 238-242
-
- Article
- Export citation
A note on the theory of quantification
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 243-244
-
- Article
- Export citation
The permutability of rules in the classical inferential calculus1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 245-248
-
- Article
- Export citation
The elimination theorem when modality is present1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 249-265
-
- Article
- Export citation
Reviews
Frederic Brenton Fitch. Symbolic logic. An introduction. The Ronald Press Company, New York 1952, x + 238 S.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 266-268
-
- Article
- Export citation
Tadeusz Czeżowski. Przyczynek do sylogistyki Arystotelesa (Brentanowska teoria wnioskdw kategorycznych) (Contribution à la syllogistique d'Aristote (La théorie du raisonnement catégorique chez Breniano)). Polnisch mit französischem Auszug. Studia Societatis Scientiarum Torunensis, Sectio A, Bd. 2 Heft 2 (1950), S.65–76.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 268
-
- Article
- Export citation
Stanisław Jaśkowski. O interpretacjach zdan kategorycznych Arystotelesa w rachunku predykatów (On the interpretations of Aristotelian categorical propositions in the predicate calculus). Polnisch mit englischem Auszug. Ebd., Bd. 2 Heft 3 (1950), S.77–90.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 268
-
- Article
- Export citation
Raphael M. Robinson. Undecidable—rings. Transactions of the American Mathematical Society, Bd. 70 (1951), S.137–159.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 268-269
-
- Article
- Export citation
Raphael M. Robinson. Arithmetical definitions in the ring of integers. Proceedings of the American Mathematical Society, Bd. 2 (1951), S.279–284.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 269-270
-
- Article
- Export citation
Raphael M. Robinson. Arithmetical definability of field elements. The journal of symbolic logic, Bd. 16 (1951), S.125–126.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 270
-
- Article
- Export citation
A. V. Kuznécov. O primitivno rékursivnyh funkciáh bol'šogo razmaha (Über umfangsreiche primitiv-rekursive Funktionen). Doklady Akadémii Nauk SSSR, Bd. 71 (1950), S.233–236.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 270-271
-
- Article
- Export citation
I. I. Zégalkin (I. Gégalkine). Probléma razréšimosti na konéčnyh klassah (Sur le problème de la résolubilité pour les classes finies). Russian with French abstract. Moskovskij Gosudarstvénnyj Univérsitét, Učényé zapiski, no. 100 (Matématika, vol. 1) (1946), pp. 155–211.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 271
-
- Article
- Export citation
G. Hasenjaeger. Über ω-Unvollständigkeit in der Peano-Arithmelik. The journal of symbolic logic, vol. 17 (1952), pp. 81–97.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 271-272
-
- Article
- Export citation
Paul Bernays. Über das Indukttonsschema in der rekursiven Zahlentheorie. Kontrolliertes Denken, Untersuchungen zum Logikkalkül und zur Logik der Einzelwissenschaften, rotaprint, Kommissions-Verlag Karl Alber, Munich 1951, pp. 10–17.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 272-273
-
- Article
- Export citation
Ulrich Klug. Zur logischen Analyse der Kausalitätsformel im Strafrecht. Kontrolliertes Denken, Untersuchungen zum Logikkalkül und zur Logik der Einzelwissenschaften, rotaprint, Kommissions-Verlag Karl Alber, Munich 1951, pp. 65–72.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 273-274
-
- Article
- Export citation
Ulrich Klug. Juristische Logik. Springer-Verlag, Berlin-Göttingen-Heidelberg, 1951, VIII + 160 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 274
-
- Article
- Export citation
Andrzej Mostowski. A classification of logical systems. Studia philosophica (Poznań), vol. 4 (for 1949–50, pub. 1951), pp. 237–274.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 274-275
-
- Article
- Export citation
Paul Lorenzen. Über endliche Mengen. Mathematische Annalen, vol. 123 (1951), pp. 331–338.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 275-276
-
- Article
- Export citation
Paul F. Linke. Die mehrwertigen Logiken und das Wahrheitsproblem. (Vortrag gehalten auf dem Philosophen-Kongress in Garmisch-Partenkirchen, September 1947.) Zeilschrift für philosophische Forschung, vol. 3 (1948), pp. 378–398, 530–546.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 276-277
-
- Article
- Export citation