Contents
Reviews
I. L. Gál, J. B. Rosser, and D. Scott. Generalization of a lemma of G. F. Rose. The journal of symbolic logic, vol. 23 no. 2 (for 1958, pub. 1959), pp. 137–138.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 179
-
- Article
- Export citation
J. C. E. Dekker and J. Myhill. Recursive equivalence types. University of California publications in mathematics, n.s. vol. 3 no. 3 (1960), pp. 67–214. - J. C. E. Dekker. Congruences in isols with a finite modulus. Mathematische Zeitschrift, vol. 70 (1958), pp. 113–124. - J. Myhill. Recursive equivalence types and combinatorial functions. Bulletin of the American Mathematical Society, vol. 64 (1958), pp. 373–376. - J. C. E. Dekker. The factorial function for isols. Mathematische Zeitschrift, vol. 70 (1958), pp. 250–262. - J. C. E. Dekker and J. Myhill. The divisibility of isols by powers of primes. Mathematische Zeitschrift, vol. 73 (1960). pp. 127–133. - J. C. E. Dekker. An expository account of isols. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 189–200.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 356-359
-
- Article
- Export citation
G. Asser. Einführung in die mathematische Logik. Teil I. Aussagenkalkül. Mathematisch-naturwissenschaftliche Bibliothek, no. 18. B. G. Teubner Verlagsgesellschaft, Leipzig1959, VI + 184 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 276-277
-
- Article
- Export citation
L. Goddard. ‘True’ and ‘provable’. Mind, n.s. vol. 67 (1958), pp. 13–31.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 85-86
-
- Article
- Export citation
Jean Porte. Schémas pour le calcul des propositions fondé sur la conjonction et la négation.The journal of symbolic logic, vol. 23 no. 4 (for 1958, pub. 1959), pp. 421–431.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 179-180
-
- Article
- Export citation
Patrick Suppes. Axiomatic set theory. D. Van Nostrana Company, Princeton, N.J., 1960, xii + 265 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 277-278
-
- Article
- Export citation
Charles Parsons and Herbert R. Kohl. Self-reference, truth, and provability. Mind, n.s. vol. 69 (1960), pp. 69–73.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 86
-
- Article
- Export citation
Anil Nerode. Extensions to isols. Annals of mathematics, second series, vol. 73 (1961), pp. 362–403.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 359-361
-
- Article
- Export citation
John Myhill. Recursive digraphs, splinters, and cylinders. Mathematische Annalen, vol. 138 (1959), pp. 211–218.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 361-362
-
- Article
- Export citation
Robert R. Stoll. Sets, logic, and axiomatic theories. W. H. Freeman and Company, San Francisco and London1961, x + 206 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 278-279
-
- Article
- Export citation
Hugues Leblanc. Évidence logique et degré de confirmation. Revue philosophique de Louvain, vol. 52 (1954), pp. 619–625.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 86
-
- Article
- Export citation
Toshio Umezawa. On intermediate propositional logics. Ebd., Bd. 24 Nr. 1 (1959), S. 20–36.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 180
-
- Article
- Export citation
R. Harrop. On the existence of finite models and decision procedures for propositional calculi. Proceedings of the Cambridge Philosophical Society, vol. 54 (1958), pp. 1–13.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 180-181
-
- Article
- Export citation
Hillary Putnam and R. M. Smullyan. Exact separation of recursively enumerable sets within theories. Proceedings of the American Mathematical Society, vol. 11 (1960), pp. 574–577.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 362
-
- Article
- Export citation
Hugues Leblanc. On logically false evidence statements. The journal of symbolic logic, vol. 22 no. 4 (for 1957, pub. 1958), pp. 345–349.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 86-87
-
- Article
- Export citation
Ettore Casari. Computabilità e ricorsività. Problemi di logica matematica. Quaderno n. 3 della Scuola di Studi Superiori sugli Idrocarburi dell' E.N.I. Milano1959, 107 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 279
-
- Article
- Export citation
S. C. Kleene. Extension of an effectively generated class of functions by enumeration. Colloquium mathematicum, vol. 6 (1958), pp. 68–78.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 279-280
-
- Article
- Export citation
Ronald Harrop. The finite model property and subsystems of classical propositional calculus. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 5 (1959), pp. 29–32.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 181
-
- Article
- Export citation
A. N. Prior. Peirce's axioms for propositions calculus. The journal of symbolic logic, vol. 23 no. 2 (for 1958, pub. 1959), pp. 135–136.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 87
-
- Article
- Export citation
Richard M. Friedberg and Hartley RogersJr., Reducibility and completeness for sets of integers. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 5 (1959), pp. 117–125.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 362-363
-
- Article
- Export citation