Contents
Reviews
Martin Davis, George Logemann, and Donald Loveland. A machine program for theorem-proving. Communications of the ACM, vol. 5 (1962), pp. 394–397.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 118
-
- Article
- Export citation
F. L. Varpahovskij. О néréalizuémosti dizúnkcii néréalizuémyh formul logiki vyskazyvanij. Doklady Akadémii Nauk SSSR, vol. 161 (1965), pp. 1257–1258. - F. L. Varpahovskij. The nonrealizability of a disjunction of nonrealizable formulas of propositional logic. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 6 No. 2 (1965), pp. 568–570.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 396
-
- Article
- Export citation
Wilhelm Ackermann. Ein typenfreies System der Logik mit ausreichender mathematischer Anwendungsfähigkeit. Archiv für mathematische Logik und Grundlagenforschung, vol. 4 (1958), pp. 3–26, and vol. 5 (1959), pp. 96–111.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 259
-
- Article
- Export citation
Donald A. Martin. Classes of recursively enumerable sets and degrees of unsolvability. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 12(1966), pp. 295–310.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 528
-
- Article
- Export citation
M. A. E. Dummett and E. J. Lemmon. Modal logics between S4 and S5. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 5 (1959), pp. 250–264. - Iwao Nishimura. On formulas of one variable in intuitionistic propositional calculus. The journal of symbolic logic, vol. 25 No. 4 (for 1960, pub. 1962), pp. 327–331. - D. C. Makinson. There are infinitely many Diodorean modal functions. The journal of symbolic logic, vol. 31 (1966), pp. 406–408.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 396-397
-
- Article
- Export citation
Donald A. Martin. On a question of G. E. Sacks. The journal of symbolic logic, vol. 31 (1966), pp. 66–69.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 528-529
-
- Article
- Export citation
Wilhelm Ackermann. Grundgedanken einer typenfreien Logik. Essays on the foundations of mathematics, dedicated to A. A. Fraenkelon his seventieth anniversary, edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem 1961, and North-Holland Publishing Company, Amsterdam1962, pp. 143–155.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 259-260
-
- Article
- Export citation
Martin Davis. Eliminating the irrelevant from mechanical proofs. Experimental arithmetic, high speed computing and mathematics, Proceedings of symposia in applied mathematics, vol. 15, American Mathematical Society, Providence 1963, pp. 15–30.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 118-119
-
- Article
- Export citation
Helmut Thiele. Eine Axiomatisierung der zweiwertigen Prädikatenkalküle der ersten Stufe, welche die Implikation enthalten. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 2 (1956), pp. 93–106. - Helmut Thiele. Theorie der endlichwertigen Łukasiewiczschen Prädikatenkalküle der ersten Stufe. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 4 (1958), pp. 108–142.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 260-261
-
- Article
- Export citation
Gerald E. Sacks. On a theorem of Lachlan and Martin. Proceedings of the American Mathematical Society, vol. 18 (1967), pp. 140–141.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 529
-
- Article
- Export citation
Stig Kanger. A simplified proof method for elementary logic. Computer programming and formal systems, edited by P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1963, pp. 87–94.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 119
-
- Article
- Export citation
Luiz F. T. Monteiro et Lorenzo González Coppola. Sur une construction des algèbres de Lukasiewicz trivalentes. Notas de lógica matemática n° 17, Instituto de Matemática, Universidad Nacional del sur, Bahia Blanca 1964, 17 P.; zussi Portugaliae mathematica, vol. 23 n° 3–4 (pour 1964, pub. 1965), p. 157–167.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 397-398
-
- Article
- Export citation
Ludwik Borkowski. On proper quantifiers I. English with Polish and Russian summaries. Studia logica, vol. 8 (1958), pp. 65–130.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 262-263
-
- Article
- Export citation
J. R. Shoenfield. A theorem on minimal degrees. The journal of symbolic logic, vol. 31 (1966), pp. 539–544.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 529
-
- Article
- Export citation
Antonio Monteiro. Sur la définition des algèbres de Lukasiewicz trivalentes. Notas de lógica matemática n° 21, Instituto de Matemática, Universidad Nacional del Sur, Bahía Blanca 1964, 20 P.; aussi Bulletin Mathématique de la Société des Sciences Mathématiques et Physiques de la République Populaire Roumaine, N.S. vol. 7 n° 1–2 (Pour 1963, pub. 1965), P. 3–12.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 398-399
-
- Article
- Export citation
Hao Wang. Proving theorems by pattern recognition I.Communications of the Association for Computing Machinery, vol. 3 (1960), pp. 220–234. - Hao Wang. Proving theorems by pattern recognition—II.The Bell system technical journal, vol. 40 (1961), pp. 1–41.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 119-120
-
- Article
- Export citation
Hao Wang. Mechanical mathematics and inferential analysis. Computer programming and formal systems, edited by P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1963, pp. 1–20.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 120
-
- Article
- Export citation
Ann H. Ihrig. The Post-Lineal theorems for arbitrary recursively enumerable degrees of unsolvability. Notre Dame journal of formal logic, vol. 6 no. 1 (1965), pp. 54–72.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 529
-
- Article
- Export citation
Ludwik Borkowski. On proper quantifiers II. English, with Polish and Russian summaries. Studia logica, vol. 10 (1960), pp. 7–28. (See Correction to the paper “On proper quantifiers II,” ibid., vol. 15 (1964), p. 272.)
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 263
-
- Article
- Export citation
Luiz F. T. Monteiro. Axiomes indépendants pour les algèbres de Lukasiewicz trivalentes. Notas de lógica matemática n° 22, Instituto de Matemática, Universidad Nacional del sur, Bahía Blanca 1964, 7 P.; aussi Bulletin mathématique de la Société des Sciences Mathématiques et Physiques de la République Populaire Roumaine, n.S. vol. 7 n° 3–4 (pour 1963, pub. 1966), p. 199–202.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 399
-
- Article
- Export citation