Contents
Reviews
B. Germansky. The induction axiom and the axiom of choice. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 219–223.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 237
-
- Article
- Export citation
Wanda Szmielew. Some metamathematical problems concerning elementary hyperbolic geometry. The axiomatic method with special reference to geometry and physics, Proceedings of an International Symposium held at the University of California, Berkeley, December 26, 1957-January 4, 1958. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1959, pp. 30–52.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 237-238
-
- Article
- Export citation
W. Szmielew. Absolute calculus of segments and its metamathematical implications. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 7 no. 4 (1959), pp. 213–220.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 238
-
- Article
- Export citation
William W. Boone. The word problem. Annals of mathematics, vol. 70 (1959), pp. 207–265.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 238-241
-
- Article
- Export citation
William W. Boone. The word problem. Proceedings of the National Academy of Sciences of the United States of America, vol. 44 no. 10 (1958), pp. 1061–1065.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 241-242
-
- Article
- Export citation
Clifford Spector. Measure-theoretic construction of incomparable hyperdegrees. The journal of symbolic logic, vol. 23 (for 1958, pub. 1959), pp. 280–288.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 242
-
- Article
- Export citation
S. C. Kleene. Realizability. Constructivity In mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by A. Heyting. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1959, pp. 285–289. - S. C. Kleene. Realizability. 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. 100–104.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 242-243
-
- Article
- Export citation
Stephen C. Kleene. Realizability and Shanin's algorithm for the constructive deciphering of mathematical sentences. Logique et analyse (Louvain), n.s. vol. 3 (1960), pp. 154–165.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 243-244
-
- Article
- Export citation
Joseph S. Ullian. A theorem on maximal sets. Notre Dame journal of formal logic, vol. 2 (1961) pp. 222–223.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 244
-
- Article
- Export citation
A. H. Lachlan. The U-quantifier. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 171–174.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 244
-
- Article
- Export citation
A. A. Markov. Theory of algorithms. English Translation by Jacques J. Schorr-kon, and Program for Scientific Translations staff. Published for the National Science Foundation, Washington, D.C., and the Department of Commerce by the Israel Program for Scientific Translations, Jerusalem1961, 444 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 244
-
- Article
- Export citation
R. L. Goodstein. Recursive analysis. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1961, viii + 138 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 244-245
-
- Article
- Export citation
R. S. Lehman. On primitive recursive real numbers. Fundamenta mathematicae, vol. 49 (1961), pp. 105–118.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 245-246
-
- Article
- Export citation
P. S. Novikov. O néprotivoréčivosti nékotoryh logičéskih isčislénij (On the consistency of some logical calculi). Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw 2–9 September 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford-London-New York-Paris, 1961, pp. 71–74.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 246
-
- Article
- Export citation
Walter E. Stuermann. Plotting Boolean functions. American mathematical monthly, vol. 67 (1960), pp. 170–172. - Walter E. Stuermann. The Boole table generalized. American mathematical monthly, vol. 68 (1961), pp. 53–56.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 246-247
-
- Article
- Export citation
Arto Salomaa. On the number of simple bases of the set of f unctions over a finite domain. Annales Universitatis Turkuensis, Series A, no. 52, Turun Yliopisto, Turku1962, 4 pp. - Arto Salomaa. Some completeness criteria for sets of functions over a finite domain. Annales Universitatis Turkuensis, Series A, no. 53, Turku1962, 10 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 247
-
- Article
- Export citation
Ú. I. Ánov and A. A. Mučnik. O suščéstvovanii k-značnyh zamknutyh klassov, né iméúščih konéčnogo bazisa (On the existence of k-valued closed classes not having a finite basis). Doklady Akademii Nauk SSSR, vol. 127 (1959), pp. 44–46.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 247-248
-
- Article
- Export citation
Jean Porte. Un système logistique très faible pour le calcul propositionnel classique. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 254 (1962), pp. 2500–2502.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 248
-
- Article
- Export citation
Hugues Leblanc. An extension of the equivalence calculus. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 104–105.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 248
-
- Article
- Export citation
Hugues Leblanc. Études sur les règles d'inférence dites “règles de Gentzen.”Dialogue, vol. 1 no. 1 (1962), pp. 56–66.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 248-249
-
- Article
- Export citation