Contents
Reviews
Alan Rose. Le degré de saturation du calcul propositionnel implicatif à trois valeurs de Sobociński. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 235 (1952), pp. 1000–1002.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 56
-
- Article
- Export citation
Hao Wang. A theory of constructive types. Methodos, vol. 1 (1949), pp. 374–384.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 288
-
- Article
- Export citation
L. E. J. Brouwer. Historical background, principles and methods of intuitionism. South African journal of science, vol. 49 (1952–1953), pp. 139–146.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 125
-
- Article
- Export citation
Kalman Joseph Cohen. A remark on Łukasiewicz's “On the intuitionistic theory of deduction.”Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 56 (1953), pp. 111–112; also Indagationes mathematicae, vol. 15 (1953), pp. 111–112.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 217
-
- Article
- Export citation
E. W. Veitch. A chart method for simplifying truth functions. Proceedings of the Association for Computing Machinery, Jointly sponsored by the Association for Computing Machinery and the Mellon Institute, Pittsburgh, Pa., May 2 and 3, 1952, photo-offset, Richard Rimbach Associates, Pittsburgh1952, pp. 127–133.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 56
-
- Article
- Export citation
Jan Łukasiewicz. Comment on K. J. Cohen's remark. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 56 (1953), p. 113; also Indagationes mathematicae, p. 113.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 217
-
- Article
- Export citation
Hao Wang. Negative types. Mind, n.s. vol. 61 (1952), pp. 366–368.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 288-289
-
- Article
- Export citation
L. E. J. Brouwer. Remarques sur la notion d'ordre. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 230 (1950), pp. 263–265. - L. E. J. Brouwer. Sur la possibilité d'ordonner le continu.Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 230 (1950), pp. 349–350. - L. E. J. Brouwer. On order in the continuum, and the relation of truth to non-contradictority. Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings, series A, vol. 54 (1951), pp. 357–358; also Indagationes mathematicae, vol. 13 (1951), pp. 357–358. See Erratum, Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings, series A, vol. 55 (1952), p. 79; also Indagationes mathematicae, vol. 14 (1952), p. 79. - L. E. J. Brouwer. Over accumulatiekernen van oneindige kernsoorten (On accumulation cores of infinite core-species). Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings, series A, vol. 54 (1951), vol. 55 (1952), pp. 439–441; also Indagationes mathematicae, vol. 14 (1952), pp. 439–441.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 125-126
-
- Article
- Export citation
Leon Henkin. Some notes on nominalism. The journal of symbolic logic, vol. 18 (1953), pp. 19–29.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 289-290
-
- Article
- Export citation
Kurt Schütte. Kennzeichnung von Ordnungszahlen durch rekursiv erklärte Funktionen. Mathematische Annalen, Bd. 127 (1954), S. 15–32.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 217-218
-
- Article
- Export citation
W. H. Burkhart. A method for synthesis of two-valued feedback circuits. Proceedings of the Association for Computing Machinery, Jointly sponsored by the Association for Computing Machinery and the Mellon Institute, Pittsburgh, Pa., May 2 and 3, 1952, photo-offset, Richard Rimbach Associates, Pittsburgh1952, pp. 265–272.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 56
-
- Article
- Export citation
Gene F. Rose. Propositional calculus and realizability. Transactions of the American Mathematical Society, vol. 75 (1953), pp. 1–19.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 126
-
- Article
- Export citation
N. M. Nagornyj. K usiléniú téorémy privédéniá téorii algorifmov (Towards strengthening of the reduction theorem of the theory of algorithms). Doklady Akadémi Nauk SSSR, vol. 90 (1953), pp. 341–342.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 218
-
- Article
- Export citation
W. V. Quine. On an application of Tarski's theory of truth. Proceedings of the National Academy of Sciences of the United States of America, vol. 38 (1952), pp. 430–433.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 127
-
- Article
- Export citation
K. R. Popper, William Kneale, and A. J. Ayer. Symposium: What can logic do for philosophy?Aristotelian Society, supplementary volume XXII, London1948, pp. 141–178.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 290
-
- Article
- Export citation
Theodore Singer. The theory of counting techniques. Proceedings of the Association for Computing Machinery, Jointly sponsored by the Association for Computing Machinery and the Mellon Institute, Pittsburgh, Pa., May 2 and 3, 1952, photo-offset, Richard Rimbach Associates, Pittsburgh1952, pp. 287–291. - Robert L. Ashenhurst. The application of counting techniques. Proceedings of the Association for Computing Machinery, Jointly sponsored by the Association for Computing Machinery and the Mellon Institute, Pittsburgh, Pa., May 2 and 3, 1952, photo-offset, Richard Rimbach Associates, Pittsburgh1952, pp. 293–305.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 56-57
-
- Article
- Export citation
Ugo Cassina. L'idéographie de Peano du point de vue de la théorie du langage. Rivista di matematica della Università di Parma, vol. 4 (1953), pp. 195–205.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 290-291
-
- Article
- Export citation
Ernst P. Specker. The axiom of choice in Quine's New foundations for mathematical logic. Proceedings of the National Academy of Sciences of the United States of America, vol. 39 (1953), pp. 972–975.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 127-128
-
- Article
- Export citation
Warren L. Semon. Characteristic numbers and their use in the decomposition of switching functions. Proceedings of the Association for Computing Machinery, Jointly sponsored by the Association for Computing Machinery and the Mellon Institute, Pittsburgh, Pa., May 2 and 3, 1952, photo-offset, Richard Rimbach Associates, Pittsburgh1952, pp. 273–280.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 57
-
- Article
- Export citation
V. A. Uspénskij. Téoréma Gëdélá i téoriá algoritmov (Theorem of Gödel and theory of algorithms). Doklady Akadémi Nauk SSSR, vol. 91 (1953), pp. 737–740.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 218-219
-
- Article
- Export citation