Contents
Reviews
Reviews - Andrzej Grzegorczyk. Fonctions récursives. Collection de logique mathématique, série A, Nr. 17. Gauthier-Villars, Paris, und E. Nauwelaerts, Louvain, 1961, 100 S.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 481-483
-
- Article
- Export citation
N. A. Šanin. On the constructive interpretation of mathematical judgments. English translation of XXXI 255 by Elliott Mendelson. American Mathematical Society translations, ser. 2 vol. 23 (1963), pp. 109–189. - A. A. Markov. On constructive functions. English translation of XXXI 258(1) by Moshe Machover. American Mathematical Society translations, vol. 29 (1963), pp. 163–195. - S. C. Kleene. A formal system of intuitionistic analysis. The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 1–89. - S. C. Kleene. Various notions of realizability:The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 90–132. - Richard E. Vesley. The intuitionistic continuum. The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 133–173. - S. C. Kleene. On order in the continuum. The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 174–186. - S. C. Kleene. Bibliography.The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 187–199.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 258-261
-
- Article
- Export citation
A. H. Lightstone. The axiomatic method. An introduction to mathematical logic.Prentice-Hall, Inc., Englewood Cliffs, N.J., 1964, x + 246 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 106-108
-
- Article
- Export citation
A. Ehrenfeucht and A. Mostowski. Models of axiomatic theories admitting automorphisms. Fundamenta mathematicae, vol. 43 (1956), pp. 50–68.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 644-645
-
- Article
- Export citation
G. Kreisel, D. Lacombe, and J. Shoenfield. Effective operations and partial recursive functionals. 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. 364–365. - G. Kreisel, D. Lacombe, and J. R. Shoenfield. Partial recursive functionals and effective operations. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by A. Heyting, Studies in logic and the foundations of mathematics, North Holland Publishing Company, Amsterdam1959, pp. 290–297.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 261-262
-
- Article
- Export citation
Benson Mates. Elementary logic. Oxford University Press, New York1965, x + 227 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 483-484
-
- Article
- Export citation
A. Ehrenfeucht. On theories categorical in power. Fundamenta mathematicae, vol. 44 (1957), pp. 241–248.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 645
-
- Article
- Export citation
J. A. Faris. Truth-functional logic. Routledge & Kegan Paul, London, and The Free Press of Glencoe, New York, 1962, vi + 122 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 108
-
- Article
- Export citation
Michael Morley. On theories categorical in uncountable powers. Proceedings of the National Academy of Sciences of the United States of America, vol. 49 (1963), pp. 213–216. - Michael Morley. Categoricity in power. Transactions of the American Mathematical Society, vol. 114 (1965), pp. 514–538.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 646
-
- Article
- Export citation
Martin Davis. On formally undecidable propositions of the Principia Mathematica and related systems. I. The undecidable, Basic papers on undecidable propositions, unsolvable problems and computable functions, edited by Martin Davis, Raven Press, Hewlett, New York, 1965, p. 4. - Kurt Gödel. On formally undecidable propositions of Principia Mathematica and related systems I. English translation of 4183 by Elliott Mendelson. The undecidable, Basic papers on undecidable propositions, unsolvable problems and computable functions, edited by Martin Davis, Raven Press, Hewlett, New York, 1965, pp. 5–38. - Martin Davis. On undecidable propositions of formal mathematical systems. The undecidable, Basic papers on undecidable propositions, unsolvable problems and computable functions, edited by Martin Davis, Raven Press, Hewlett, New York, 1965, pp. 39–40. - Kurt Gödel. On undecidable propositions of formal mathematical systems. A revised reprint of 41814. The undecidable, Basic papers on undecidable propositions, unsolvable problems and computable functions, edited by Martin Davis, Raven Press, Hewlett, New York, 1965, pp. 41–71. (See corrigenda, p. 74.) - Kurt Gödel. Postscriptum. The undecidable, Basic papers on undecidable propositions, unsolvable problems and computable functions, edited by Martin Davis, Raven Press, Hewlett, New York, 1965, pp. 71–73. - Kurt Gödel. On intuitionistic arithmetic and number theory. English translation of 41811 by Martin Davis. The undecidable, Basic papers on undecidable propositions, unsolvable problems and computable functions, edited by Martin Davis, Raven Press, Hewlett, New York, 1965, pp. 75–81. - Kurt Gödel. On the length of proofs. English translation of I 116 by Martin Davis. The undecidable, Basic papers on undecidable propositions, unsolvable problems and computable functions, edited by Martin Davis, Raven Press, Hewlett, New York, 1965, pp. 82–83. - Kurt Gödel. Remarks before the Princeton Bicentennial Conference on Problems in Mathematics — 1946. The undecidable, Basic papers on undecidable propositions, unsolvable problems and computable functions, edited by Martin Davis, Raven Press, Hewlett, New York, 1965, pp. 84–88. [Cf. XII 89(2).] - Martin Davis. An unsolvable problem of elementary number theory. The undecidable, Basic papers on undecidable propositions, unsolvable problems and computable functions, edited by Martin Davis, Raven Press, Hewlett, New York, 1965, p. 88. - Alonzo Church. An unsolvable problem of elementary number theory. A reprint of I 73. The undecidable, Basic papers on undecidable propositions, unsolvable problems and computable functions, edited by Martin Davis, Raven Press, Hewlett, New York, 1965, pp. 89–107.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 484-494
-
- Article
- Export citation
J. A. Faris. Quantification theory. Routledge & Kegan Paul, London, and The Free Press of Glencoe, New York, 1964, vii + 147 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 108-109
-
- Article
- Export citation
H. B. Enderton. Hierarchies in recursive function theory. Transactions of the American Mathematical Society, vol. III (1964), pp. 457–471.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 262-263
-
- Article
- Export citation
A. I. Mal′cév. Konstruktivnyé algébry. I. Uspéhi matématičéskih nauk, vol. 16 no. 3 (1961), pp. 3–60. - A. I. Mal′tsev. Constructive algebras. I. English translation of the preceding by K. A. Hirsch. Russian mathematical surveys, vol. 16 no. 3 (1961), pp. 77–129.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 647-649
-
- Article
- Export citation
Herbert Enderton and David Luckham. Hierarchies over recursive well-orderings. The journal of symbolic logic, vol. 29 no. 4 (for 1964, pub. 1965), pp. 183–190.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 263
-
- Article
- Export citation
Roy Dubisch. Lattices to logic. Blaisdell Publishing Company, New York, Toronto, London, 1964, vii + 88 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 494
-
- Article
- Export citation
M. A. Ajzérman, L. A. Gusév, L. I. Rozonoer, I. M. Smirnova, and A. A. Tal′. Logika, avtomaty, algoritmy (Logic, automata, algorithms). Gosudarstvénnoé Izdatel′stvo Fiziko-matématičéskoj Literatury, Moscow1963, 556 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 109-111
-
- Article
- Export citation
A. I. Mal′cév. O rékursivnyh abélévyh gruppah. Doklady Akadémii Nauk SSSR, vol. 146 (1962), pp. 1009–1012.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 649
-
- Article
- Export citation
V. A. Uspénskij. Lékcii o vyčislimyh funkciáh (Lectures on computable functions). Gosudarstvénnoé Izdatél′stvo Fiziko-matématičéskoj Literatury, Moscow1960, 492 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 263-264
-
- Article
- Export citation
Herbert Meschkowski. Wandlungen des mathematischen Denkens. Eine Einführung in die Grundlagenprobleme der Mathematik. Third, revised, edition of XXII 84. Friedr. Vieweg & Sohn, Braunschweig1964, vii + 141 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 494
-
- Article
- Export citation
Herbert Meschkowski. Wandlungen des mathematischen Denkens. Eine Einführung in die Grundlagenprobleme der Mathematik. Second, revised and enlarged, edition. Friedr. Vieweg & Sohn, Braunschweig1960, vii + 141 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 111
-
- Article
- Export citation