Reviews
O. B. Lupanov. O véntil′nyh i kontaktno-véntil′nyh shémah (On rectifying and rectifying-switching circuits). Doklady Akadémii Nauk SSSR, vol. 111 (1956), pp. 1171–1174.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 51-52
-
- Article
- Export citation
V. L. Murskij. Ob ekvivaléntnyh préobrazovaniáh kontaktnyh shém (Equivalent transformations of contact circuits). Doklady Akadémii Nauk SSSR, vol. 127 (1959), pp. 262–265.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 52
-
- Article
- Export citation
I. B. Pyne and E. J. McCluskeyJr., An essay on prime implicant tables. Journal of the Society for Industrial and Applied Mathematics, vol. 9 (1961), pp. 604–631.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 52-53
-
- Article
- Export citation
Leon Leblanc. Nonhomogeneous polyadic algebras. Proceedings of the American Mathematical Society, vol. 13 (1962), pp. 59–65.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 53
-
- Article
- Export citation
Leon Leblanc. Duality for Boolean equalities. Proceedings of the American Mathematical Society, vol. 13 (1962), pp. 74–79.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 53
-
- Article
- Export citation
Antonio Monteiro and Oscar Varsavsky. Algebras de Heyting monádicas. Actas de las X jornadas, Unión Matemática Argentina, Instituto de Matemáticas, Universidad Nacional del Sur, Bahía Blanca1957, pp. 52–62.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 54
-
- Article
- Export citation
Antonio Monteiro. Normalidad en las álgebras de Heyting monádicas. Actas de las X jornadas, Unión Matemática Argentina, Instituto de Matemáticas, Universidad Nacional del Sur, Bahía Blanca1957, pp. 50–51.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 54-55
-
- Article
- Export citation
Gonzalo Zubieta R. Clases aritméticas definidas sin igualdad. Boletín de la Sociedad Matemática Mexicana, second series, vol. 2 (1957), pp. 45–53.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 55-56
-
- Article
- Export citation
Gonzalo Zubieta Russi. Algunos teoremas en la teoría de la cuantificación elemental. Memoria del Congreso Cientifico Mexicano, I Ciencias fisicas y matemáticas. Universidad Nacional Autónoma de México, Mexico1953, pp. 100–108.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 56
-
- Article
- Export citation
Abraham Robinson. Introduction to model theory and to the metamathematics of algebra. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1963, IX + 284 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 56
-
- 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
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
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
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
Gaisi Taxeuti. A remark on Gentzen's paper “Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie.” I—II. Proceedings of the Japan Academy, vol. 39 (1963), pp. 263–269.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 58-59
-
- Article
- Export citation
G. Hasenjaeger. Formales und produktives Schlieβen. Mathematisch-physikalische Setnesterberichte (Göttingen), vol. 6 no. 1/2 (1958), pp. 184–194.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 59
-
- Article
- Export citation
R. Montague. Semantical closure and non-finite axiomatizability I. 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. 45–69.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 59-60
-
- Article
- Export citation
Gerald E. Sacks. On the degrees less than 0′. Annals of mathematics, second series, vol. 77 (1963), pp. 211–231. - Gerald E. Sacks. Correction to “On the degrees less than 0′.”Annals of mathematics, second series, vol. 78 (1963), p. 204.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 60
-
- Article
- Export citation
J. W. Addison. Separation principles in the hierarchies of classical and effective descriptive set theory. Fundamenta mathematicae, vol. 46 no. 2 (1959), pp. 123–135. - J. W. Addison. The theory of hierarchies. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 26–37. - J. W. Addison. Some problems in hierarchy theory. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence1962, pp. 123–130.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 60-62
-
- Article
- Export citation