Contents
Reviews
Rózsa Péter. Rekursive Funktionen. Akadémiai Kiadó (Akademischer Verlag), Budapest1951, 206 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 280-282
-
- Article
- Export citation
M. A. MacConaill. Causality in embryology. Dominican studies, vol. 3 (1950), pp. 220–235.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 218
-
- Article
- Export citation
C. H. Langford. The institutional use of the. Philosophy and phenomenological research, vol. 10 no. 1 (1949), pp. 115–120.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 63
-
- Article
- Export citation
J. Barkley Rosser and Hao Wang. Non-standard models for formal logics. The journal of symbolic logic, vol. 15 (1950), pp. 113–129. See Errata, ibid., p. iv.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 145-146
-
- Article
- Export citation
Karl Schröter. Der Nutzen der mathemalischen Logik für die Mathematik. Archiv für mathematische Logik und Grundlagenforschung, vol. 1 no. 1 (1950), pp. 2–16; also Archiv für Philosophie, vol. 4 no. 1 (1950), pp. 82-96.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 218
-
- Article
- Export citation
Elizabeth Lane Beardsley. “Non-accidental” and counlerfactual sentences. The journal of philosophy, vol. 46 (1949), pp. 573–591.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 63-64
-
- Article
- Export citation
Gisbert Hasenjaeger. Über eine Art von Unvollständigkeit des Prädikatenkalküls der ersten Stufe. The journal of symbolic logic, vol. 15 (1950), 273–276.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 146
-
- Article
- Export citation
Paul Kustaanheimo. Über die Vollständigkeil der Axiomensysteme mit einem endlichen Individuenbereich. Annates Academiae Scientiarium Fennicae, Series A, I. Mathematica-Physica 63. Helsinki1949, 44 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 282-283
-
- Article
- Export citation
Alfred Tarski. Introducción a la lógica y a la metodología de las ciencias deductivas. Translated by T. R. Bachiller and J. R. Fuentes. Espase-Calpe Argentina, Buenos Aires and Mexico City1951, 237 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 283-284
-
- Article
- Export citation
G. Hasenjaeger. Ein Beitrag zur Ordnungstheorie. Archiv für mathematische Logik und Grundlagenforschung, vol. 1 no. 1 (1950), pp. 30–31; - G. Hasenjaeger. Ein Beitrag zur Ordnungstheorie. Archiv für Philosophie, vol. 4 no. 1 (1950), pp. 110–111.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 218
-
- Article
- Export citation
William Kneale. Natural laws and contrary-to-fact conditionals. Analysis (Oxford), vol. 10 no. 6 (1950), pp. 121–125.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 64
-
- Article
- Export citation
Antoni Janiczak. A remark concerning decidability of complete theories. The journal of symbolic logic, vol. 15 (1950), 277–279.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 146-147
-
- Article
- Export citation
J. C. C. McKinsey. A new definition of truth. Synthese, vol. 7 (1948–1949), pp. 428–433.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 218-220
-
- Article
- Export citation
S. C. Kleene. A symmetric form of Gödel's theorem. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings of the section of sciences, Bd. 53 (1950), S. 800–802; auch Indagationes mathematicae, Bd. 12 (1950), S. 244–246.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 147
-
- Article
- Export citation
R. M. Martin. On virtual classes and real numbers. The journal of symbolic logic, vol. 15 (1950), pp. 131–134.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 64
-
- Article
- Export citation
Vieira de Almeida. Lógica elementar. Collecção Stvdivm no. 38. Livraria Académica, Saraiva & C.a, São Paulo, Brazil, 1943, 186 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 284-285
-
- Article
- Export citation
G. H. von Wright. On the idea of logical truth (II). Societas Scientiaru m Fennica, Commentationes physico-mathematicae, Bd. 15, Nr. 10. Kopenhagen und Helsingfors1950, 45 S.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 147-148
-
- Article
- Export citation
Th. Skolem. A remark on the induction scheme. Det Kongelige Norske Videnskabers Selskab, Forhandlinger, vol. 22 (1950), pp. 167–170.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 220-221
-
- Article
- Export citation
G. W. v. Leibniz. Selections. Edited by Philip P. Wiener. The Modern Student's Library. Charles Scribner's Sons, New York1951, li + 606 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 285-286
-
- Article
- Export citation
Jan Kalicki. Note on truth-tables. The journal of symbolic logic, vol. 15 (1950), pp. 174–181. See Errata, ibid., p. iv.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 65
-
- Article
- Export citation