Contents
Reviews
F. William Lawvere. The category of categories as a foundation for mathematics. Proceedings of the Conference on Categorical Algebra, La Jolla 1965, edited by S. Eilenberg, D. K. Harrison, S. MacLane, and H. Röhrl, Springer-Verlag New York Inc., New York 1966, pp. 1–20.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 341
-
- Article
- Export citation
Robert L. Davis. The number of structures of finite relations. Proceedings of the American Mathematical Society, vol. 4 (1953), pp. 486–495.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 341
-
- Article
- Export citation
Howard Kahane. Logic and philosophy. A modern introduction. Wadsworth Publishing Company, Inc., Belmont, California, 1969, xv + 450 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 613-614
-
- Article
- Export citation
Kirby A. Baker. Equational axioms for classes of lattices. Bulletin of the American Mathematical Society, vol. 77 (1971), pp. 97–102.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 184
-
- Article
- Export citation
Vlad Boicescu. Sur les algèbres de Lukasiewicz. Logique, automatique, informatique, edited by Gr.C. Moisil, Éditions de l'Académie de la République Socialiste de Roumanie, Bucharest1971, pp. 71–89. - Mihail Cherciu. Filtres de Stone dans les treillis distributifs. Logique, automatique, informatique, edited by Gr.C. Moisil, Éditions de l'Académie de la République Socialiste de Roumanie, Bucharest1971, pp. 91–97. - George Georgescu. Les algèbres de Lukasiewicz θ-valentes. Logique, automatique, informatique, edited by Gr.C. Moisil, Éditions de l'Académie de la République Socialiste de Roumanie, Bucharest1971, pp. 99–169. - Ioana Petrescu. Algèbres de Morgan injectives. Logique, automatique, informatique, edited by Gr.C. Moisil, Éditions de l'Académie de la République Socialiste de Roumanie, Bucharest1971, pp. 171–176. - Luminita State. Quelques propriétés des algebres de Morgan. Logique, automatique, informatique, edited by Gr.C. Moisil, Éditions de l'Académie de la République Socialiste de Roumanie, Bucharest1971, pp. 195–207.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 184
-
- Article
- Export citation
Richard L. Purtill. Logic for philosophers. Harper & Row, Publishers, New York, Evanston, and London, 1971, xxii + 419 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 614-615
-
- Article
- Export citation
Herman Rubin and Patrick Suppes. A note on two-place predicates and fitting sequences of measure functions. The journal of symbolic logic, vol. 20 (1955), pp. 121–122.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 341
-
- Article
- Export citation
Elliott Mendelson. Theory and problems of Boolean algebra and switching circuits. Schaum's outline series, McGraw-Hill Book Company, New York etc. 1970, viii + 213 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 615
-
- Article
- Export citation
Charles Parsons. On a number theoretic choice schema and its relation to induction. 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 London 1970, pp. 459–473. - Charles Parsons. Review of the foregoing. Zentralblatt für Mathematik and ihre Grenzgebiete, vol. 202 (1971), pp. 12–13. - Charles Parsons. On n-quantifier induction. The journal of symbolic logic, vol. 37 (1972), pp. 466–482.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 342
-
- Article
- Export citation
William W. Boone. Word problems and recursively enumerable degrees of unsolvability. An emendation. Annals of mathematics, ser. 2 vol. 94 (1971), pp. 389–391. - Donald J. Collins. Truth-table degrees and the Boone groups. Annals of mathematics, ser. 2 vol. 94 (1971),pp. 392–396.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 184-185
-
- Article
- Export citation
Helmut Pfeiffer. Ein Bezeichnungssystem für Ordinalzahlen. Archiv für mathematische Logik und Grundlagenforschung, vol. 13 (1970), pp. 74–90.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 342
-
- Article
- Export citation
Dennis F. Cudia and Wilson E. Singletary. The Post correspondence problem. The journal of symbolic logic, vol. 33 (1968), pp. 418–430. - Dennis F. Cudia and Wilson E. Singletary. Degrees of unsolvability in formal grammars. Journal of the Association for Computing Machinery, vol. 15 (1968), pp. 680–692.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 185-186
-
- Article
- Export citation
Robert Wall. Introduction to mathematical linguistics. Prentice-Hall, Inc., Englewood Cliffs, N.J., 1972, xiv + 337 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 615-616
-
- Article
- Export citation
Kurt Schütte. Ein konstruktives System von Ordinalzahlen. Archiv für mathematische Logik und Grundlagenforschung, vol. 11 (1968), pp. 126–137, and vol. 12 (1969), pp. 3–11. - Helmut Pfeiffer. Ein Bezeichnungssystem für Ordinalzahlen. Archiv für mathematische Logik und Grundlagenforschung vol. 12 (1969), pp. 12–17.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 186
-
- Article
- Export citation
Herbert G. Bohnert. Communication by Ramsey-sentence clause. Philosophy of science, vol. 34 (1967), pp. 341–347. - Israel Scheffler. Reflections on the Ramsey method. The journal of philosophy, vol. 65 (1968), pp. 269–274. - Herbert G. Bohnert. In defense of Ramsey's elimination method. The journal of philosophy,vol. 65 (1968) pp. 275–281. - Ilkka Niiniluoto. Empirically trivial theories and inductive systematization. Logic, probability, and language, edited by Radu J. Bogdan and I. Niiniluoto, D. Reidel Publishing Co., Dordrecht1973, pp. 101–107.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 617-619
-
- Article
- Export citation
Helmut Pfeiffer. Vergleich zweier Bezeichnungssysteme für Ordinalzahlen.Archiv für mathematische Logik und Grundlagenforschung, vol. 15 (1972), pp. 41–56.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 342-343
-
- Article
- Export citation
Jan Łukasiewicz. On the principle of contradiction in Aristotle. English translation of 1861 by Vernon Wedin. The review of metaphysics, vol. 24 no. 3 (1971), pp. 485–509.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 619
-
- Article
- Export citation
Louise Hay. On creative sets and indices of partial recursive functions. Transactions of the American Mathematical Society, vol. 120 no. 2 (for 1965, pub. 1966), pp. 359–367. - Louise Hay. Isomorphism types of index sets of partial recursive functions. Proceedings of the American Mathematical Society, vol. 17 (1966), pp. 106–110. - Louise Hay. Index sets of finite classes of recursively enumerable sets. The journal of symbolic logic, vol. 34 (1969), pp. 39–44.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 186-187
-
- Article
- Export citation
A. Grzegorczyk. Recursive objects in all finite types. Fundamenta mathematicae, vol. 54 (1964), pp. 73–93. - Haskell B. Curry. Combinatory recursive objects of all finite types. Bulletin of the American Mathematical Society, vol. 70 (1964), pp. 814–817.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 343
-
- Article
- Export citation
Gerald E. Sacks. Recursion in objects of finite type. Actes du Congrès International des Mathématiciens 1970, Gauthier-Villars, Paris 1971, Vol. 1, pp. 251–254.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 343-344
-
- Article
- Export citation