Contents
Reviews
José Ferrater Mora. Qué es la lógica. Colección Esquemas. Editorial Columba, Buenos Aires1957, 73 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 350-351
-
- Article
- Export citation
S. Jaśkowski. Undecidability of first order sentences in the theory of free groupoids. Fundamenta mathematicae, Bd. 43 (1956), S. 36–45.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 445
-
- Article
- Export citation
Andrzej Mostowski. Development and applications of the “projective” classification of sets of integers. Proceedings of the International Congress of Mathematicians 1954, Amsterdam September 2-September 9, Volume III, 1956, Erven P. Noordhoff N.V., Groningen, und North-Holland Publishing Co., Amsterdam, S. 280–288.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 44-45
-
- Article
- Export citation
A. Mostowski. On a generalization of quantifiers. Fundamenta mathematicae, vol. 44 (1957), pp. 12–36.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 217
-
- Article
- Export citation
Klaus Härtig. Ein Spezialfall der Substitution als Grundbeziehung der elementaren Semiotik. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 3 (1957), pp. 151–156.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 217-218
-
- Article
- Export citation
John Myhill. Solution of a problem of Tarski. The journal of symbolic logic, vol. 21 (1956), pp. 49–51. - Andrzej Ehrenfeucht. Two theories with axioms built by means of pleonasms. The journal of symbolic logic, vol. 22 no. 1 (1957), pp. 36–38. - Hilary Putnam. Decidability and essential undecidability. The journal of symbolic logic, pp. 39–54.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 445-447
-
- Article
- Export citation
Philotheus Boehner. Introduction. Ockham, Philosophical writings, A selection edited and translated by Philotheus Boehner, O.F.M.†, Thomas Nelson and Sons, Edinburgh1957, pp. ix–lix.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 351
-
- Article
- Export citation
A. Mostowski. On a system of axioms which has no recursively enumerable arithmetic model. Fundamenta mathematicae, Bd. 40 (1953), S. 56–61. - A. Mostowski. A formula with no recursively enumerable model. Ebd., Bd. 42 (1955), S. 125–140.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 45
-
- Article
- Export citation
László Kalmár. Another proof of the Markov-Post theorem. English with Russian summary. Acta mathematica Academiae Scientiarum Hungaricae, vol. 3 (1952), pp. 1–27.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 447-448
-
- Article
- Export citation
Abraham Robinson. L'application de la logique formelle aux mathématiques. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris−25-30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser. A no. 5, lithographed (“dactyl-spécial”), Gauthier-Villars, Paris1954, and E. Nauwelaerts, Louvain 1954, pp. 51–63. - G. Kurepa, G. Kreisel, A. Robinson. Discussion. Applications scientifiques de la logique mathéatique, Actes du 2e Colloque International de Logique Mathématique, Paris−25-30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser. A no. 5, lithographed (“dactyl-spécial”), Gauthier-Villars, Paris1954, and E. Nauwelaerts, Louvain 1954, p. 64.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 218-219
-
- Article
- Export citation
A. Mostowski. On recursive models of formalised arithmetic. Bulletin de l'Académie Polonaise des Sciences, Classe III, vol. 5 (1957), pp. 705–710.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 45-46
-
- Article
- Export citation
Robert McNaughton. A metrical concept of happiness. English, with brief Spanish abstract. Philosophy and phenomenological research, vol. 14 no. 2 (1953), pp. 172–183.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 351-352
-
- Article
- Export citation
A. Grzegorczyk. Some proofs of undecidability of arithmetic. Fundamenta mathematicae, vol. 43 (1956), pp. 166–177.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 46-47
-
- Article
- Export citation
B. Dunham. The formalization of scientific languages. Part I. The work of Woodger and Hull. IBM journal of research and development, vol. 1 (1957), pp. 341–348.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 352
-
- Article
- Export citation
Paul R. Halmos. Algebraic logic, III. Predicates, terms, and operations in polyadic algebras. Transactions of the American Mathematical Society, t. 83 (1956), pp. 430–470.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 448-449
-
- Article
- Export citation
Paul R. Halmos. Algebraic logic, I. Monadic Boolean algebras. Compositio mathematica, vol. 12 (1955), p. 217–249.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 219-222
-
- Article
- Export citation
J. W. Addison and S. C. Kleene. A note on function quantification. Proceedings of the American Mathematical Society, vol. 8 (1957), pp. 1002–1006.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 47-48
-
- Article
- Export citation
Carl G. Hempel. Fundamentals of concept formation in empirical science. International encyclopedia of unified science, vol. 2 no. 7. The University of Chicago Press, Chicago1952, iii + 93 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 353-354
-
- Article
- Export citation
Richard Montague and Donald Kalish. Remarks on descriptions and natural deduction. Archiv für mathematische Logik und Grundlagenforschung, vol. 3 (1957), pp. 50–64, 65–73.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 449-450
-
- Article
- Export citation
Paul R. Halmos. Algebraic logic II. Homogeneous locally finite polyadic Boolean algebras of infinite degree. Fundamenta mathematicae, vol. 43 (1956), pp. 256–325.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 222-223
-
- Article
- Export citation