Contents
Reviews
Hao Wang. Relative strength and reducibility. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 432–442.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 208
-
- Article
- Export citation
Gaisi Takeuti. On the fundamental conjecture of GLC. VI. Proceedings of the Japan Academy, vol. 37 (1961), pp. 440–443.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 147
-
- 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
P. S. Novikov. O nérazréšimosti problémy toždéstva slov v gruppé i nékotoryh drugih problém algebry (The unsolvability of the problem of the equivalence of words in a group and several other problems in algebra). Čehoslovackij matématičéskij žurnál (Czechoslovak mathematical journal), vol. 6 (81) (1956), pp. 450–454.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 56-57
-
- Article
- Export citation
P. S. Novikov and S. I. Adán. Probléma toždéstva dlá polugrupp s odnostoronnim sokraščéniém (Das Wortproblem für Halbgruppen mit einseitiger Kürzungsregel). Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 4 (1958), pp. 66–88.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 57
-
- Article
- Export citation
Hao Wang. Partial systems of number theory. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 376–382.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 147
-
- 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
Ettore Carruccio. Sulle dimostrazioni di coerenza dei sistemi ipotetico-deduttivi. Università e Politecnico di Torino, Rendiconti del Seminario Matematico, vol. 10 (1950–1951), pp. 97–110.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 208
-
- Article
- Export citation
Leon Henkin, W. Norman Smith, Verne J. Varineau, Michael J. Walsh. Retracing elementary mathematics. The Macmillan Company, New York1962, xviii + 418 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 209
-
- Article
- Export citation
N. M. Nagornyj. O razyskanii izomorfizmov associativnyh isčislénij (Über das Aufsuchen von Isomorphismen assoziativer Kalküle). Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 6 (1960), pp. 319–324.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 57
-
- 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
B. A. Trahtenbrot. Algorithmes et machines à calculer. French translation of XXVIII 111(1), by A. Chauvin. Dunod, Paris1963, x + 149 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 147-148
-
- Article
- Export citation
Julia Robinson. The undecidability of algebraic rings and fields. Proceedings of the American Mathematical Society, vol. 10 (1959), pp. 950–957.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 57-58
-
- 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
Leon Henkin. Mathematical induction. MAA film manual no. 1. The Mathematical Association of America, University of Buffalo, Buffalo, N.Y., 1961, v + 21 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 209
-
- Article
- Export citation
A. Daigneault and D. Monk. Representation theory for polyadic algebras. Fundamenta mathematicae, vol. 52 (1963), pp. 151–176.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 148
-
- 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
Wolfgang Rautenberg. Unentscheidbarheit der euklidischen Inzidenzgeometrie. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 12–15.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 58
-
- Article
- Export citation
A. A. Markov. Matématičéskaá logika i vyčislitél′ naá matématika (Mathematical logic and numerical analysis). Véstnik Akadémii Nauk SSSR, vol. 27 no. 8 (1957), pp. 21–25.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 209
-
- Article
- Export citation
Related Citations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 148-149
-
- Article
- Export citation