Contents
Reviews
J. P. Cleave. Creative functions. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 205–212.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 102-103
-
- Article
- Export citation
R. O. Gandy. Proof of Mostowski's conjecture. Bulletin de l′Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 8 (1960), pp. 571–575.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 103-104
-
- Article
- Export citation
R. O. Gandy. On a problem of Kleene's. Bulletin of the American Mathematical Society, vol. 66 (1960), pp. 501–502.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 104
-
- Article
- Export citation
Shih-Chao Liu. A theorem on general recursive functions. Proceedings of the American Mathematical Society, vol. 11 (1960), pp. 184–187.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 104
-
- Article
- Export citation
S. C. Kleene. Lambda-definable functional of finite types. Fundamenta mathematicae, vol. 50 no. 3 (1962), pp. 281–303.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 104-105
-
- Article
- Export citation
Hao Wang. Computation. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 82–125.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 105-106
-
- Article
- Export citation
Hao Wang. The anthmetization of metamathematics. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 334–361.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 106
-
- Article
- Export citation
Hao Wang. Ackermann's consistency proof. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 362–375.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 106
-
- Article
- Export citation
Toshio Nishimura. On Gödel's theorem. Journal of the Mathematical Society of Japan, vol. 13 (1961), pp. 1–12.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 106-107
-
- Article
- Export citation
Toshio Nishimura. Note on axiomatic set theory I. The independence of Zermelo's “Aussonderungsaxiom” from other axioms of set theory. Osaka mathematical journal, vol. 12 (1960), pp. 319–329. - Toshio Nishimura. Note on axiomatic set theory II. A construction of a model satisfying the axioms of set theory without Zermelo's Aussonderungsaxiom in a certain axiom system of ordinal numbers. Commentarii mathematici Universitatis Sancti Pauli, vol. 9 (1961), pp. 29–37.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 107
-
- Article
- Export citation
N. A. Šanin. O linéjnyh konstruktivnyh funkcional̀ah v konstruktivnom gil′bértovom prostranstvé (Über konstruktive lineare Funktionale in einem konstruktiven Hilbertschen Raum). Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 5 (1959), pp. 1–8.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 107-108
-
- Article
- Export citation
N. M. Nagornyj. O minimal′nom aljavité algorifmov nad dannym alfavitom (On a minimal alphabet of algorithms over a given alphabet). Problémy konstruktivnogo napravléniá v matématiké, 1, Sbornik rabot, edited by N. A. Šanin, Trudy Matématičéskogo Instituta imèni V. A. Stéklova, vol. 52, Izdatél′stvo Akadémii Nauk SSSR, Moscow and Leningrad1958, pp. 66–74.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 108
-
- Article
- Export citation
E. S. Orlovskij. Nékotoryé voprosy témorii algorifmov (Some questions in the theory of algorithms). Problémy konstruktivnogo napravléniá v matématiké, 1, Sbornik rabot, edited by N. A. Šanin, Trudy Matématičéskogo Instituta imèni V. A. Stéklova, vol. 52, Izdatél′stvo Akadémii Nauk SSSR, Moscow and Leningrad1958, pp. 140–171.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 108-109
-
- Article
- Export citation
N. N. Vorob′év. Novyj algorifm vyvodimosti v konstruktivnom isčislénii uyskazyvanij (A new algorithm of deducibility in the constructive propositional calculus). Problémy konstruktivnogo napravléniá v matématiké, 1, Sbornik rabot, edited by N. A. Šanin, Trudy Matématičéskogo Instituta imèni V. A. Stéklova, vol. 52, Izdatél′stvo Akadémii Nauk SSSR, Moscow and Leningrad1958, pp. 193–225.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 109
-
- Article
- Export citation
Henryk Greniewski. 2n+1 wartości logicznych (2n+1 logical values). Studia filozoficzne, no. 2 (1957), pp. 82–116, and no. 3 (1957), pp. 3–28.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 109-110
-
- Article
- Export citation
Louise Schmir Hay. Axiomatization of the infinite-valued predicate calculus. The journal of symbolic logic, vol. 28 no. 1 (for 1963, pub. 1964), pp. 77–86.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 110-111
-
- Article
- Export citation
Joan B. Ogden and Henry B. Veatch. Putting the square back into opposition. The new Scholasticism, vol. 30 (1956), pp. 409–440.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 111
-
- Article
- Export citation
Tadeusz Gierymski and Michael P. Slattery. Is the square back in opposition?Philosophical studies (Maynooth), vol. 7 (1957), pp. 123–130.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 111-112
-
- Article
- Export citation
T. Gierymski and M. P. Slattery. Existential import and “Latin Averroism.”Franciscan studies, vol. 18 (1958), pp. 127–132.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 112
-
- Article
- Export citation
Michael P. Slattery and Tadeusz Gierymski. A propositions. The modern Schoolman, vol. 36 no. 2 (1959), pp. 91–107.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 112
-
- Article
- Export citation