Research Article
An extended procedure in quantificational logic1

 Published online by Cambridge University Press:
 12 March 2014, pp. 97104

 Article
 Export citation
On propositions neither necessary nor impossible

 Published online by Cambridge University Press:
 12 March 2014, pp. 105108

 Article
 Export citation
Systems of modal logic which are not unreasonable in the sense of Halldén

 Published online by Cambridge University Press:
 12 March 2014, pp. 109113

 Article
 Export citation
Paradox of the class of all grounded classes

 Published online by Cambridge University Press:
 12 March 2014, p. 114

 Article
 Export citation
Arithmetic with creative definitions by induction

 Published online by Cambridge University Press:
 12 March 2014, pp. 115118

 Article
 Export citation
On ωinconsistency and a socalled axiom of infinity

 Published online by Cambridge University Press:
 12 March 2014, pp. 119124

 Article
 Export citation
Investigation of the equivalence of the axiom of choice and Zorn's lemma from the viewpoint of the hierarchy of types

 Published online by Cambridge University Press:
 12 March 2014, pp. 125135

 Article
 Export citation
Some formal relative consistency proofs

 Published online by Cambridge University Press:
 12 March 2014, pp. 136144

 Article
 Export citation
Inner models for set theory – Part III

 Published online by Cambridge University Press:
 12 March 2014, pp. 145167

 Article
 Export citation
Reviews
Rudolf Carnap. The continuum of inductive methods. The University of Chicago Press, Chicago1952, v + 92 pp.

 Published online by Cambridge University Press:
 12 March 2014, pp. 168169

 Article
 Export citation
Maria Kokoszyńska. What means “relativity of truth”?Stadia philosophica (Poznań), vol. 3 (for 1939–46, pub. 1948), pp. 167–176.  Maria Kokoszyńska. A refutation of the relativism of truth. Stadia philosophica (Poznań), vol. 4 (for 1949–50, pub. 1951), pp. 93–149.

 Published online by Cambridge University Press:
 12 March 2014, pp. 170171

 Article
 Export citation
Henryk Mehlberg. Positivisme et science. Première partie. Analyse logique du postulat de vérificabilité. Stadia philosophica (Poznań), vol. 3 (for 1939–46, pub. 1948), pp. 211–294.

 Published online by Cambridge University Press:
 12 March 2014, pp. 171173

 Article
 Export citation
Józef Iwanicki. Dedukcja naturalna i logistyczna (Natural and logistic deduction). Polskie Towarzystwo Teologiczne, Warsaw1949, XVI + 164 pp.

 Published online by Cambridge University Press:
 12 March 2014, pp. 173174

 Article
 Export citation
Georg H. v. Wright. An essay in modal logic. Studies in logic and the foundations of mathematics. NorthHolland Publishing Company, Amsterdam1951, VII + 90 pp.

 Published online by Cambridge University Press:
 12 March 2014, pp. 174176

 Article
 Export citation
G. H. von Wright. Interpretations of modal logic. Mind, n.s. vol. 61 (1952), pp. 165–177.

 Published online by Cambridge University Press:
 12 March 2014, pp. 176177

 Article
 Export citation
Alonzo Church. The weak theory of implication. Kontrolliertes Denken, Untersuchungen zum Logikkalkül unci zur Logik der Einzelwissenschaften, rotaprint, KommissionsVerlag Karl Alber, Munich1951, pp. 22–37.

 Published online by Cambridge University Press:
 12 March 2014, pp. 177178

 Article
 Export citation
Alonzo Church. Brief bibliography of formal logic. Proceedings of the American Academy of Arts and Sciences, vol. 80 no. 2 (1952), pp. 155–172.

 Published online by Cambridge University Press:
 12 March 2014, p. 178

 Article
 Export citation
Arthur W. Burks. The logic of programming electronic digital computers. Industrial mathematics (Detroit), vol. 1 (1950), pp. 36–52.

 Published online by Cambridge University Press:
 12 March 2014, p. 179

 Article
 Export citation
Nelson Goodman. New notes on simplicity. The journal of symbolic logic, vol. 17 (1952), pp. 189–191.

 Published online by Cambridge University Press:
 12 March 2014, p. 179

 Article
 Export citation
J. Barkley Rosser. The axiom of infinity in Quine's New foundations. The journal of symbolic logic, vol. 17 (1952), pp. 238–242.

 Published online by Cambridge University Press:
 12 March 2014, p. 179

 Article
 Export citation