Contents
Reviews
A. Białynicki–Birula. Remarks on quasi–Boolean algebras. Bulletin de l′Académie Polonaise des Sciences, Classe III, Bd. 5 (1957), S. 615–619.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 414
-
- Article
- Export citation
R. Sikorski and T. Traczyk. On free products of m-distributive Boolean algebras. Colloquium mathematicum, vol. 11 no. 1 (1963), pp. 13–16.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 414
-
- Article
- Export citation
T. Traczyk. Minimal extensions of weakly distributive Boolean algebras. Colloquium mathematicum, vol. 11 no. 1 (1963), pp. 17–24.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 414-415
-
- Article
- Export citation
M. H. Stone. Free Boolean rings and algebras. Anais da Academia Brasileira de Ciências, vol. 26 (1954), pp. 9–17.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 415
-
- Article
- Export citation
Leon Henkin and Alfred Tarski. Cylindric algebras. Lattice theory, Proceedings of symposia in pure mathematics, vol. 2, American Mathematical Society, Providence 1961, pp. 83–113.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 415-416
-
- Article
- Export citation
Leon Henkin and Alfred Tarski. Cylindrical algebras. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 332–340.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 417
-
- Article
- Export citation
Daniel Ponasse. Problèmes d′universalité s′introduisant dans l′algébrisation de la logique mathématique. Nagoya mathematical journal, vol. 20 (1962), pp. 29–73, and Vol. 21 (1962), pp. 61–110.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 417-418
-
- Article
- Export citation
Daniel Ponasse. Une démonstration du théorème de complétude de Gödel. Publications du Départment de Mathématiques (Lyon), vol. 3 No. 1 (1966), pp. 2–8.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 418
-
- Article
- Export citation
Karl Schröter. Theorie des logischen Schlieβens, Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 1 (1955), pp. 37–86, and vol. 4 (1958), pp. 10–65.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 418
-
- Article
- Export citation
Kurt Schütte. Syntactical and semantical properties of simple type theory. The journal of symbolic logic, vol. 25 no. 4 (for 1960, pub. 1962), pp. 305–326.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 418-419
-
- Article
- Export citation
B. Á. Falévič. Novyj métod dokazatél'stva téorém népolnoty dlá sistém s pravilom Karnapa i égo Priložénié K voprosu vzaimootnošéniá klassičéskogo i konstruktivnogo analizov (New Method of proof of the incompleteness theorem for systems with Carnap's rule and its application to the question of the relation between classical and constructive analysis). Doklady Akadémii Nauk SSSR, vol. 120 (1958), pp. 1210–1213.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 419
-
- Article
- Export citation
Georg Kreisel. Mathematical logic. Lectures on modern mathematics, vol. 3, edited by T. L. Saaty, John Wiley & Sons, Inc., New York, London, and Sydney, 1965, pp. 95–195.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 419-420
-
- Article
- Export citation
Luis E. Sanchis. Types in combinatory logic. Notre Dame journal of formal logic, vol. 5 no. 3 (1964), pp. 161–180.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 420-421
-
- Article
- Export citation
Charles Sanders Peirce. Scientific method. Collected papers of Charles Sanders Peirce, Volume VII, Science and philosophy, edited and with an introduction by Arthur W. Burks, Harvard University Press, Cambridge, Mass., 1958, Book II, Chapter 1, pp. 37–75.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 421
-
- Article
- Export citation
Patrick Suppes and Shirley Hill. First course in mathematical logic. Blaisdell Publishing Company, New York, Toronto, and London, 1964, ix + 274 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 421-422
-
- Article
- Export citation
Frederick Binford. Solutions to the exercises in First course in mathematical logic. Blaisdell Publishing Company, New York, Toronto, and London, 1965, ix + 173 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 422
-
- Article
- Export citation
Patrick Suppes. Mathematical logic for the schools. The arithmetic teacher, vol. 9 (1962), pp. 396–399. - Patrick Suppes and Frederick Binford. Experimental teaching of mathematical logic in the elementary school. The arithmetic teacher, vol. 12 (1965), Pp. 187–195.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 422
-
- Article
- Export citation
Flora Dinkines. Elementary concepts of modern mathematics. Appleton-Century-Crofts, Division of Meredith Publishing Company, New York1964, x + 457 pp. - L. R. Sjoblom. Application of Boolean algebra to switching networks. Therein, pp. 183–207.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 422-423
-
- Article
- Export citation
Related Citations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 423-429
-
- Article
- Export citation
Other
The Philosopher's Index
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 429
-
- Article
- Export citation