Reviews
Marcel Boll and Jacques Reinhart. Histoire de la logique. Que sais-je, no. 225, 5th edn. Presses Universitaires de France, Paris1961, 127 pp. (1st edn. 1946.)
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 285-286
-
- Article
- Export citation
Anjan Shukla. A set of axioms for the propositional calculus with implication and converse non-implication. Notre Dame journal of formal logic, vol. 6 no. 2 (1965), pp. 123–128.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 664
-
- Article
- Export citation
H. Gelernter. A note on syntactic symmetry and the manipulation of formal systems by machine. Information and control, vol. 2 (1959), pp. 80–89.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 514
-
- Article
- Export citation
J. Słomiński. Theory of models with infinitary operations and relations. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 6 (1958), pp. 449–456.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 131
-
- Article
- Export citation
A. R. Turquette. Solution to a problem of Rose and Rosser. Proceedings of the American Mathematical Society, vol. 12 (1961), pp. 253–255.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 664-665
-
- Article
- Export citation
Rupert Schreiber. Logik des Rechts. Springer-Verlag, Berlin-Göttingen-Heidelberg1962, VIII + 100 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 286
-
- Article
- Export citation
J. A. Robinson. Theorem-proving on the computer. Journal of the Association for Computing Machinery, vol. 10 (1963), pp. 163–174.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 514-515
-
- Article
- Export citation
K. I. Appel. Horn sentences in identity theory. The journal of symbolic logic, vol. 24 no. 4 (for 1959, pub. 1961), pp. 306–310.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 131-132
-
- Article
- Export citation
J. A. Robinson. A machine-oriented logic based on the resolution principle. Journal of the Association for Computing Machinery, vol. 12 (1965), pp. 23–41.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 515-516
-
- Article
- Export citation
William Tuthill Parry. Comments on a variant form of natural deduction. The journal of symbolic logic, vol. 30 (1965), pp. 119–122.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 286
-
- Article
- Export citation
Atwell R. Turquette. Independent axioms for infinite-valued logic. The journal of symbolic logic, vol. 28 no. 3 (for 1963, pub. 1964), pp. 217–221.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 665
-
- Article
- Export citation
R. L. Vaught. Sentences true in all constructive models. 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. 341–343. - R. L. Vaught. Sentences true in all constructive models. The journal of symbolic logic, vol. 25 no. 1 (for 1960, pub. 1961), pp. 39–53.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 132
-
- Article
- Export citation
A. H. Kruse. A method of modelling the formalism of set theory in axiomatic set theory. The journal of symbolic logic, vol. 28 no. 1 (for 1963, pub. 1964), pp. 20–34.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 132-133
-
- Article
- Export citation
Gerd Harbeck. Einführung in die formale Logik. Friedr. Vieweg & Sohn, Braunschweig1963, VI + 114 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 287
-
- Article
- Export citation
Akira Nakamura. On the infinitely many-valued double-threshold logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 (1965), pp. 93–101. - Akira Nakamura. On a certain system of modal logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 (1965), pp. 203–207.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 665
-
- Article
- Export citation
John Alan Robinson. On automatic deduction. Rice University studies, vol. 50 no. 1 (1964), pp. 69–89.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 516
-
- Article
- Export citation
Georg Kreisel and Daniel Lacombe. Ensembles récursivement mesurables et ensembles récursivement ouverts ou fermés. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 245 (1957), pp. 1106–1109.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 133
-
- Article
- Export citation
László Kalmár. A new principle of construction of logical machines. 2e Congrès International de Cybernétique, Namur, 3–10 Septembre 1958, Actes, Association Internationale de Cybernétique, Namur 1960, pp. 458–463.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 516
-
- Article
- Export citation
A. N. Prior. The theory of implication. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 (1963), pp. 1–6. - A. N. Prior. The theory of implication: two corrections. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 (1965), pp. 381–382. - Bolesław Sobociński. A note on Prior's systems in “The theory of deduction.”Notre Dame journal of formal logic, vol. 5 no. 2 (1964), pp. 139–140.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 665-666
-
- Article
- Export citation
Rudolf Carnap. Introduction to symbolic logic and its applications. Englische Übersetzung der XX 274 von William H. Meyer und John Wilkinson. Dover Publications, Inc., New York1958, xiv + 241 S.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 287
-
- Article
- Export citation