Research Article
Remarks on some theorems of Keisler
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 571-576
-
- Article
- Export citation
On the Craig-Lyndon interpolation theorem1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 271-274
-
- Article
- Export citation
The semisubstitutivity of strict implication
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 462-464
-
- Article
- Export citation
Some calculi with strong negation primitive1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 97-100
-
- Article
- Export citation
Structures elementarily closed relative to a model for arithmetic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 101-104
-
- Article
- Export citation
A notion of effectiveness in arbitrary structures
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 577-602
-
- Article
- Export citation
Reviews
N. I. Stážkin. Formirovanié matématičéskoj logiki (Formation of mathematical logic). Izdatél′stvo “Nauka.”Moscow1967. 508 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 465
-
- Article
- Export citation
Research Article
On Meyer and Lambert's quantificational calculus FQ
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 275-280
-
- Article
- Export citation
Reviews
Hans Freudenthal. The language of logic. Elsevier Publishing Company, Amsterdam, London, New York, 1966, vi + 105 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 603
-
- Article
- Export citation
Reviews - Günther Patzig. Vorwort. Funktion, Begriff, Bedeutung, Fünf logische Studien, by Gottlob Frege, edited by Günther Patzig, Vandenhoeck & Ruprecht, Göttingen1962, pp. 3–15; also second, revised, edition, ibid. 1966, pp. 3–15. - Günther Patzig. Vorwort zur 2. Auflage. Funktion, Begriff, Bedeutung, Fünf logische Studien, by Gottlob Frege, edited by Günther Patzig, Vandenhoeck & Ruprecht, Göttingen1966, p. 16. - Gottlob Frege. Funktion und Begriff. A reprint of 497. Funktion, Begriff, Bedeutung, Fünf logische Studien, by Gottlob Frege, edited by Günther Patzig, Vandenhoeck & Ruprecht, Göttingen1962, pp. 16–37; reprinted ibid. 1966, pp. 17–39, with minor corrections and with Frege's Vorwort included. - Gottlob Frege. Über Sinn und Bedeutung. A reprint of 497. Funktion, Begriff, Bedeutung, Fünf logische Studien, by Gottlob Frege, edited by Günther Patzig, Vandenhoeck & Ruprecht, Göttingen1962, pp. 38–63; reprinted with minor corrections ibid. 1966, pp. 40–65. - Gottlob Frege. Über Begriff und Gegenstand. A reprint of 499. Funktion, Begriff, Bedeutung, Fünf logische Studien, by Gottlob Frege, edited by Günther Patzig, Vandenhoeck & Ruprecht, Göttingen1962, pp. 64–78; also ibid. 1966, pp. 66–80. - Gottlob Frege. Was ist eine Funktion? A reprint of 4917. Funktion, Begriff, Bedeutung, Fünf logische Studien, by Gottlob Frege, edited by Günther Patzig, Vandenhoeck & Ruprecht, Göttingen1962, pp. 79–88; also ibid. 1966, pp. 81–90. - Gottlob Frege. Über die wissenschaftliche Berechtigung einer Begriffsschrift. A reprint of 494. Funktion, Begriff, Bedeutung, Fünf logische Studien, by Gottlob Frege, edited by Günther Patzig, Vandenhoeck & Ruprecht, Göttingen1962, pp. 89–95; also ibid. 1966, pp. 91–97. - Günther Patzig. Freges Schriften. Funktion, Begriff, Bedeutung, Fünf logische Studien, by Gottlob Frege, edited by Günther Patzig, Vandenhoeck & Ruprecht, Göttingen1962, pp. 96–97; also ibid. 1966, pp. 98–99. - Günther Patzig. Literatur zu Frege.Funktion, Begriff, Bedeutung, Fünf logische Studien, by Gottlob Frege, edited by Günther Patzig, Vandenhoeck & Ruprecht, Göttingen1962, pp. 98–101; reprinted with minor revisions ibid. 1966, pp. 100–103.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 281-282
-
- Article
- Export citation
N. E. Kobrinskii and B. A. Trakhtenbrot. Introduction to the theory of finite automata. English translation of XXIX 97, edited by J. C. Shepherdson. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1965, x + 337 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 466
-
- Article
- Export citation
Research Article
Functional completeness in one variable
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 105-106
-
- Article
- Export citation
Reviews
Günther Patzig. Einleitung. Logische Untersuchungen, by Gottlob Frege, edited by Günther Patzig, Vandenhoeck & Ruprecht, Göttingen1966, pp. 5–29. - Gottlob Frege. Der Gedanke. Eine logische Untersuchung. A reprint of XVIII 93(1). Logische Untersuchungen, by Gottlob Frege, edited by Günther Patzig, Vandenhoeck & Ruprecht, Göttingen1966, pp. 30–53. - Gottlob Frege. Die Verneinung. Eine logische Untersuchung. A reprint of XVIII 93(2). Logische Untersuchungen, by Gottlob Frege, edited by Günther Patzig, Vandenhoeck & Ruprecht, Göttingen1966, pp. 54–71. - Gottlob Frege. Logische Untersuchungen. Dritter Teil: Gedankengefüge.Logische Untersuchungen, by Gottlob Frege, edited by Günther Patzig, Vandenhoeck & Ruprecht, Göttingen1966, pp. 72–91. (Reprinted from Beiträge zur Philosophie des deutschen Idealismus, vol. 3 no. 1 (1923), pp. 36–51.) - Gottlob Frege. Kritische Beleuchtung einiger Punkte in E. Schröders Vorlesungen über die Algebra der Logik. A reprint of 4972. Ibid., pp. 92–112. - Gottlob Frege. Über die Zahlen des Herrn H. Schubert. A reprint of 4915. Logische Untersuchungen, by Gottlob Frege, edited by Günther Patzig, Vandenhoeck & Ruprecht, Göttingen1966, pp. 113–138. - Günther Patzig. Literatur zu Frege.Logische Untersuchungen, by Gottlob Frege, edited by Günther Patzig, Vandenhoeck & Ruprecht, Göttingen1966, pp. 140–142.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 282-284
-
- Article
- Export citation
S. S. Barlinoay. A modern introduction to indian logic. National Publishing House. Delhi1965, xv + 238 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 603-604
-
- Article
- Export citation
A. A. Lápunov. O logičéskih shémah programm. Problémy kibérnétiki, vol. 1 (1958), pp. 46–74. - A. A. Lyapunov. The logical structure of programmes. English translation of the preceding. Problems of cybernetics, vol. 1 (1960), pp. 48–81. - A. A. Ljapunow. Über logische Programm-Schemata. German translation of the same. Probleme der Kybernetik, vol. 1 (1962), pp. 53–86.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 466-467
-
- Article
- Export citation
Research Article
A note on recursive relations
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 107
-
- Article
- Export citation
Reviews
A. P. Éršov. Opératornyé algorifmy. II. (Opisanié osnovnyh konstrukcij programmirovaniá.)Problémy kibérnétiki, vol. 8 (1962), pp. 211–233. - A. P. Jerschow. Operator-Algorithmen. II. (Beschreibung der Grundzüge der Programmierung.) German translation of the preceding by Heinz D. Modrow. Probleme der Kybernetik, vol. 8 (1965), pp. 208–232.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 467
-
- Article
- Export citation
Research Article
A minimal canonically complete m-valued proper logic for each m
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 108-110
-
- Article
- Export citation
Reviews
Harald Dickson. Variable, function, derivative. A semantic study in mathematics and economics. Handelshögskolan i Göteborg, Skrifter 1967, no. 1. Akademiförlaget, Göteborg1967, 176 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 284-285
-
- Article
- Export citation
Kurt Schütte. Probleme und Methoden der Beweistheorie. Studium generale, vol. 18 (1965), pp. 562–567.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 604-605
-
- Article
- Export citation