Contents
Reviews
Oliver Aberth. Analysis in the computable number field. Journal of the Association for Computing Machinery, vol. 15 (1968), pp. 275–299.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 84
-
- Article
- Export citation
Maria Luisa Dalla Chiara Scabia. Modelli sintattici e semantici delle teorie elementari. Feltrinelli Editore, Milan1968, 240 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 236-237
-
- Article
- Export citation
Stephen F. Barker. Realism as a philosophy of mathematics. Foundations of mathematics, Symposium papers commemorating the sixtieth birthday of Kurt Gödel, edited by Jack J. Bulloff, Thomas C. Holyoke, and S. W. Hahn, Springer-Verlag, Berlin, Heidelberg, and New York, 1969, pp. 1–9.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 593
-
- Article
- Export citation
Jaakko Hintikka. Induction by enumeration and induction by elimination. The problem of inductive logic, Proceedings of the International Colloquium in the Philosophy of Science, London, 1965, volume 2, edited by Imre Lakatos, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1968, pp. 191–216.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 448-449
-
- Article
- Export citation
Raymond M. Smullyan. First-order logic. Ergebnisse der Mathematik und ihrer Grenzgebiete, vol. 43, Springer-Verlag, Berlin, Heidelberg, and New York, 1968, XII + 158 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 237-238
-
- Article
- Export citation
Oliver Aberth. A chain of inclusion relations in computable analysis. Proceedings of the American Mathematical Society, vol. 22 (1969), pp. 539–548.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 84
-
- Article
- Export citation
Rudolf Carnap. Inductive logic and inductive intuition. The problem of inductive logic, Proceedings of the International Colloquium in the Philosophy of Science, London, 1965, volume 2, edited by Imre Lakatos, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1968, pp. 258–267. - M. Bunge, J. W. N. Watkins, Y. Bar-Hillel, K. R. Popper, J. Hintikka, R. Carnap. Discussion. The problem of inductive logic, Proceedings of the International Colloquium in the Philosophy of Science, London, 1965, volume 2, edited by Imre Lakatos, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1968, pp. 268–314.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 449-450
-
- Article
- Export citation
Joseph Ullian. Mathematical objects. Philosophy of science, The Delaware seminar, Volume 1, 1961-1962, edited by Bernard Baumrin, Interscience Publishers, New York and London 1963, pp. 187–205.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 593-595
-
- Article
- Export citation
M. J. Charlesworth. Analytical philosophy. New Catholic encyclopedia, prepared by an editorial staff at the Catholic University of America, McGraw-Hill Book Company, New York etc. 1967, vol. 1, pp. 470–473.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 595
-
- Article
- Export citation
Per Martin-Löf. The definition of random sequences. Information and control, vol. 9 (1966), pp. 602–619. - Per Martin-Löf. The literature on von Mises' Kollectivs revisited. Theoria, vol. 35 (1969), pp. 12–37. - Per Martin-Löf. On the notion of randomness. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo, N. Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London1970, pp. 73–78.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 450-452
-
- Article
- Export citation
Jean-Pierre Bénéjam. Application du théorème de Herbrand à la présentation de thèses tératologiques du calcul des prédicats élémentaire. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, ser. A vol. 268 (1969), pp. 757–760. - Roland Fraïssé. Réflexions sur la complétude selon Herbrand. International logic review-Rassegna internazionale di logica (Bologna), vol. 3 no. 1 (1972), pp. 86–98.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 238-239
-
- Article
- Export citation
Oliver Aberth. The concept of effective method applied to computational problems of linear algebra. Journal of computer and system sciences, vol. 5 (1971), pp. 17–25.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 84
-
- Article
- Export citation
H. A. Nielsen. Antinomy. New Catholic encyclopedia, prepared by an editorial staff at the Catholic University of America, McGraw-Hill Book Company, New York etc. 1967, vol. 1, pp. 621-623.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 595
-
- Article
- Export citation
Joseph R. Shoenfield. Degrees of unsolvability. North-Holland mathematical studies 2. North-Holland Publishing Company, Amsterdam-London, and American Elsevier Publishing Company, Inc., New York, 1971, VIII + 111 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 452-453
-
- Article
- Export citation
Oliver Aberth. Computable analysis and differential equations. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London1970, pp. 47–52.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 84
-
- Article
- Export citation
Wilbur John WalkoeJr., Finite partially-ordered quantification. The journal of symbolic logic, vol. 35 (for 1970, pub. 1971), pp. 535–555.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 239-240
-
- Article
- Export citation
Oliver Aberth. The failure in computable analysis of a classical existence theorem for differential equations. Proceedings of the American Mathematical Society, vol. 30 (1971), pp. 151–156.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 85
-
- Article
- Export citation
Donald Monk. Singulary cylindric and polyadic equality algebras. Transactions of the American Mathematical Society, vol. 112 (1964), pp. 185–205.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 240
-
- Article
- Export citation
J. A. Ladrière. Axiomatic system. New Catholic encyclopedia, prepared by an editorial staff at the Catholic University of America, McGraw-Hill Book Company, New York etc. 1967, vol. 1, pp. 1140–1141.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 596
-
- Article
- Export citation
C. E. M. Yates. Arithmetical sets and retracing functions. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 (1967), pp. 193–204.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 453
-
- Article
- Export citation