Contents
Reviews
Reviews - Alfred Tarski. Preface. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1953, pp. VIII–IX. - Alfred Tarski. A general method in proofs of undecidability. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1953, pp. 3–35. - Andrzej Mostowski, Raphael M. Robinson, and Alfred Tarski. Undecidability and essential undecidability in arithmetic. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1953, pp. 39–74. - Alfred Tarski. Undecidability of the elementary theory of groups. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1953, pp. 77–87. - Bibliography. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1953, pp. 89–91. - Index. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1953, pp. 93–98.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 167-169
-
- Article
- Export citation
Reviews - A. Grzegorczyk. Computable functionals. Fundamenta mathematicae, vol. 42 (1955), pp. 168–202. - A. Grzegorczyk. On the definition of computable functionals. Ibid., pp. 232–239.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 50-51
-
- Article
- Export citation
Research Article
Enumeration of Recursive Sets
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 311
-
- Article
- Export citation
Reviews
Max H. Fisch and Daniel C. Haskell. Appendix V. Some additions to Morris R. Cohen's bibliography of Peirce's published writings. Studies in the philosophy of Charles Sanders Peirce, edited by Philip P. Wiener and Frederic H. Young, Harvard University Press, Cambridge, Mass., 1952, pp. 375–381.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 211-212
-
- Article
- Export citation
Meeting Report
Twenty-fourth annual meeting of the association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 312-326
-
- Article
- Export citation
Reviews
A. Fröhlich and J. C. Shepherdson. On the factorisation of polynomials in a finite number of steps. Mathematische Zeitschrift, vol. 62, no. 4 (1955), pp. 331–334. - A. Fröhlich and J. C. Shepherdson. Effective procedures in field theory. Philosophical transactions of the Royal Society of London, Series A, vol. 248 (1955–1956), pp. 407–432.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 169-170
-
- Article
- Export citation
S. C. Kleene. A note on computable functionals. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 59 (1956), pp. 275–280; also Indagationes mathematicae, vol. 18 (1956), pp. 275–280.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 51-52
-
- Article
- Export citation
Ferruccio Rossi-Landi. Materiale per lo studio di Vailati. Rivista critica di storia della filosofia, vol. 12 (1957), pp. 468–485 and vol. 13 (1958), pp. 82–108.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 212
-
- Article
- Export citation
Raphael M. Robinson. Arithmetical representation of recursively enumerable sets. The journal of symbolic logic, vol. 21 (1956), pp. 162–187.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 170-171
-
- Article
- Export citation
Other
Notice of a decision of the Executive Committee
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 326
-
- Article
- Export citation
Reviews
Ugo Cassina. Storia ed analisi del “Formulario completo” di Peano. Bollettino della Unione Matematica Italiana, ser. 3 vol. 10 (1955), pp. 244–266, 544–574.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 212-213
-
- Article
- Export citation
Richard M. Friedberg, 4-quantifier completeness: A Banach-Mazur functional not uniformly partial recursive. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 6 (1958), pp. 1–5.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 52
-
- Article
- Export citation
Gustav Bergmann. Intentionality. Semantica, Archivio di filosofia, 1955 no. 3, Fratelli Bocca Editori, Rome1955, pp. 177–216. - Gustav Bergmann. LĽintenzionalità. Italian translation of the preceding by V. Somenzi and A. Caracciolo di Forino. Semantica, Archivio di filosofia, 1955 no. 3, Fratelli Bocca Editori, Rome1955, pp. 217–247.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 213-214
-
- Article
- Export citation
Other
Notice of a meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 326
-
- Article
- Export citation
Reviews
Richard Friedberg. Un contre-exemple relatif aux fonctionnelles récursives. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 247 (1958), pp. 852–854.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 171
-
- Article
- Export citation
Daniel Lacombe. Classes récursivement fermées et fonctions majorantes. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 240 (1955), pp. 716–718.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 52-53
-
- Article
- Export citation
G. Hasenjaeger. On definability and derivability. Mathematical interpretation of formal systems, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1955, pp. 15–25.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 171-172
-
- Article
- Export citation
Other
Notice of a symposium on recursive functions
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 326
-
- Article
- Export citation
Reviews
Antoni Korcik. Pojȩcie wywodu inferencyjnego u Bernarda Bolzana. Roczniki filozoficzne, vol. 5 no. 2 (1957–58), pp. 17–26. - A. Korcik. B. Bolzano's notion of inference. English summary of the preceding. Roczniki filozoficzne, vol. 5 no. 2 (1957–58), p. 225.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 214-215
-
- Article
- Export citation
Daniel Lacombe. Extension de la notion de fonction récursive aux fonctions d'une ou plusieurs variables réelles. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 240 (1955), pp. 2478–2480, and vol. 241 (1955), pp. 13–14, 151–153. - Daniel Lacombe. Remarques sur les opérateurs récursifs et surles fonctions récursives d'une variable réelle. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 241 (1955), pp. 1250–1252.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 53
-
- Article
- Export citation