Contents
Reviews
Kurt Schütte. Der Interpolationssatz der intuitionistischen Prädikatenlogik. Mathematische Annalen, vol. 148 (1962), pp. 192–200.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 145-146
-
- 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
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
Léon LeBlanc. Transformation algebras. Canadian journal of mathematics, vol. 13 (1961), pp. 602–613.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 206-207
-
- 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
Léon Le Blanc. Représentation des algèbres polyadiques pour anneau. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 250 (1960), pp. 4092–4094.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 207
-
- 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
S. C. Kleene. An addendum. The journal of symbolic logic, vol. 28 no. 2 (for 1963, pub. 1964), pp. 154–156.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 146
-
- Article
- Export citation
Hartley RogersJr., Gödel numberings of partial recursive functions. The journal of symbolic logic, vol. 23 no. 3 (for 1958, pub. 1959), pp. 331–341.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 146
-
- 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
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
Léon Le Blanc. Dualité pour les égalités booléennes. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 250 (1960), pp. 3552–3553. - Léon Le Blanc. Les algèbres de transformation. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 250 (1960), pp. 3928–3930. - See XXIX 53(2) and the review above.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 207
-
- Article
- Export citation
John Myhill. Remark on a system of Bernays. The journal of symbolic logic, vol. 28 no. 1 (for 1963, pub. 1964), pp. 75–76.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 208
-
- Article
- Export citation
Gaisi Takeuti. Ordinal diagrams II. Journal of the Mathematical Society of Japan, vol. 12 (1960), pp. 385–391.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 146-147
-
- 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
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
Hao Wang. Different axiom systems. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 383–431.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 208
-
- Article
- Export citation
Gaisi Takeuti. On the inductive definition with quantifiers of second order. Journal of the Mathematical Society of Japan, vol. 13 (1961), pp. 333–341.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 147
-
- 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
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