Reviews
W. W. Tait. Nested recursion. Mathematische Annalen, Bd. 143 (1961), S. 236–250.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 103-104
-
- Article
- Export citation
A. H. Basson and D. J. O'Connor. Introduction to symbolic logic. Third edition. The Free Press, Glencoe, III., 1960, viii + 175 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 169
-
- Article
- Export citation
Günter Asser. Funktionen-Algorithmen und Graphschemata. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 20–27.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 292
-
- Article
- Export citation
B. A. Trahténbrot. Sintéz logičéskih sétéj, opératory kotoryh opisany srédstvami isčisléniá odnoméstnyh predikátov (Synthesis of logical nets whose operators are described by means of the calculus of one-place predicates). Doklady Akadémii Nauk SSSR, vol. 118 (1958), pp. 646–649.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 254-255
-
- Article
- Export citation
A. A. Zinov'év. Filosofskié problémy mnogoznačnoj logiki (Philosophical problems of many-valued logic). Izdatél'stvo Akadémii Nauk SSSR, Moscow1960, 139 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 255-256
-
- Article
- Export citation
Grigore C. Moisil. Dezvoltarea in R.P.R. a teorici algebrice a schemelor cu contacte şi relee (Development in the R.P.R. of the algebraic theory of contact and relay circuits). Automatica şi electronica, vol. 3 no. 4 (1959), pp. 152–160.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 104
-
- Article
- Export citation
William W. Boone. Partial results regarding word problems and recursively enumerable degrees of unsolvability. Bulletin of the American Mathematical Society, vol. 68 (1962), pp. 616–623.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 292
-
- Article
- Export citation
Alice Ambrose and Morris Lazerowitz. Logic: The theory of formal inference. Holt, Rinehart and Winston, New York1961, vi + 78 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 169-171
-
- Article
- Export citation
Ettore Carruccio. Corso di storia delle matematiche. Matematica e logica nella storia e nel pensiero contemporaneo. Second edition, revised and augmented. Editore Gheroni, Turin1952, 552 pp. - Ettore Carruccio. Matematica e logica nella storia e nel pensiero contemporaneo. Editore Gheroni, Turin1958, 367 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 171-172
-
- Article
- Export citation
A. Š. Bloh. O kanoničéskom métodé sintéza kontaktnyh shém (About canonical method of synthesis of contact circuits). Russian with English summary. Avtomatika i téléméhanika, vol. 23 (1962), pp. 503–508.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 104
-
- Article
- Export citation
Hugues Leblanc and Nuel D. BelnapJr., Intuitionism reconsidered. Notre Dame journal of formal logic, vol. 3 (1962), pp. 79–82.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 256
-
- Article
- Export citation
Toshio Nishimura. On a certain system with infinite induction. Journal of the Mathematical Society of Japan, vol. 12 (1960), pp. 392–400.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 293
-
- Article
- Export citation
J. W. Addison. Some consequences of the axiom of constructibility. Fundamenta mathematicae, vol. 46 (1959), pp. 337–357.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 293
-
- Article
- Export citation
Hugues Leblanc. Structural rules of inference. Notre Dame journal of formal logic, vol. 3 (1962), pp. 201–205.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 256
-
- Article
- Export citation
William S. Hatcher. La notion d′équivalence entre systèmes formels et une généralisation inductive du système dit “New foundations” de Quine. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 256 (1963), pp. 563–566.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 172-173
-
- Article
- Export citation
B. A. Trakhtenbrot. Algorithms and automatic computing machines. Translated and adapted from the second Russian edition (1960) by Jerome Kristian, James D. McCawley, and Samuel A. Schmitt. D. C. Heath and Company, Boston 1963, vi + 101 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 104-105
-
- Article
- Export citation
Rolf Schock. Some remarks on Russell's treatment of definite descriptions. Logique et analyse, n.s. vol. 5 (1962), pp. 77–80.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 105-106
-
- Article
- Export citation
Naoto Yonemitsu. Systems of weak implication. Memoirs of the Osaka University of Liberal Arts and Education, B. Natural science, no. 9 (1960), pp. 137–158.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 256-257
-
- Article
- Export citation
Raili Kauppi. Freedom and imperatives. Ajatus, vol. 24 (1962), pp. 67–73.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 294
-
- Article
- Export citation
Gaisi Takeuti. An example on the fundamental conjecture of GLC. Journal of the Mathematical Society of Japan, vol. 12 (1960), pp. 238–242.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 173
-
- Article
- Export citation