Reviews
Robert Feys. A simplified proof of the reduction of all modalities to 42 in S3. Boletin de la Sociedad Matemática Mexicana, vol. 10 nos. 1–2 (1953), pp. 53–57.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 66
-
- Article
- Export citation
J. N. Killalea. Primeness and heterologicality. Analysis (Oxford), vol. 14 no. 1 (1953), pp. 20–24.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 293
-
- Article
- Export citation
Haskell B. Curry. The permutability of rules in the classical inferential calculus. The journal of symbolic logic, Bd. 17 (1952), S. 245–248.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 66-67
-
- Article
- Export citation
J. L. Mackie and J. J. C. Smart. A variant of the ‘heterological’ paradox. A further note. Analysis (Oxford), vol. 14 no. 6 (1954), pp. 146–149.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 293
-
- Article
- Export citation
John Myhill. Criteria of construclibility for real numbers. The journal of symbolic logic, vol. 18 (1953), pp. 7–10.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 178
-
- Article
- Export citation
John Myhill. On the interpretation of the sign ‘⊃’. The journal of symbolic logic, vol. 18 (1953), pp. 60–62.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 178-179
-
- Article
- Export citation
Haskell B. Curry. The elimination theorem when modality is present. The journal of symbolic logic, Bd. 17 (1952), S. 249–265.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 67
-
- Article
- Export citation
P. T. Landsberg. On heterological paradoxes. Mind, n.s. vol. 62 (1953), pp. 379–381.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 293
-
- Article
- Export citation
Leon Henkin. Banishing the rule of substitution for functional variables. The journal of symbolic logic, vol. 18 (1953), pp. 201–208.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 179-180
-
- Article
- Export citation
P. T. Landsberg. Paradoxes in n-valued logics. Analysis (Oxford), vol. 15 no. 1 (1954), pp. 14–16.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 293
-
- Article
- Export citation
Kurt Schütte. Zur Widerspruchsfreiheit einer typenfreien Logik. Mathematische Annalen, Bd. 125 Heft 4 (1953), S. 394–400.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 67
-
- Article
- Export citation
G. F. C. Griss. Logic of negationless intnitionistic mathematics. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 54 (1951), pp. 41–49; also Indagationes mathematicae, vol.13 (1951), pp. 41–49.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 67-68
-
- Article
- Export citation
Alan Rose. The m-valued calculus of non-contradiction. The journal of symbolic logic, vol. 18 (1953), pp. 237–241.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 180-181
-
- Article
- Export citation
Hilary Putnam. Synonymity, and the analysis of belief sentences. Analysis (Oxford), vol. 14 no. 5 (1954), pp. 114–122.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 293-294
-
- Article
- Export citation
Alonzo Church. Intensional isomorphism and identity of belief. Philosophical studies, vol. 5 (1954), pp. 65–73.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 294-295
-
- Article
- Export citation
Václav Edvard Beneš. A partial model for Quine's “New foundations.”The journal of symbolic logic, vol. 19 (1954), pp. 197–200.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 181
-
- Article
- Export citation
Hans Rohrbach. Das Axiomensystem van Erhard Schmidt für die Menge der natürlichen Zahlen. Mathematische Nachrichten, vol. 4 (1951), pp. 315–321.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 68
-
- Article
- Export citation
Wilfrid Sellars. Putnam on synonymity and belief. Analysis (Oxford), vol. 15 no. 5 (1955), pp. 117–120.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 295
-
- Article
- Export citation
A. S. Ésénin-Vol′pin. Nédokazuémost′ gipotézy Suslina bez pomošči aksiomy vybora v sistémé aksiom Bérnajsa-Mostovskogo (The unprovability of Suslin's hypothesis without the aid of the axiom of choice in the system of axioms of Bernays-Mostowski). Doklady Akadémii Nauk SSSR, vol. 96 (1954), pp. 9–12.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 181-182
-
- Article
- Export citation
G. A. Montgomerie. Sketch for an algebra of relay and contactor circuits. Journal of the Institute of Electrical Engineers, vol. 95 (1948), pp. 303–312.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 68-69
-
- Article
- Export citation