The Journal of Symbolic Logic: Volume 32 - Issue 3

Online ordering is currently unavailable due to technical issues. We apologise for any delays responding to customers while we resolve this. For further updates please visit our website: https://www.cambridge.org/news-and-insights/technical-incident Due to planned maintenance there will be periods of time where the website may be unavailable. We apologise for any inconvenience.

Skip to main content Accessibility help

Home
Journals
The Journal of Symbolic Logic
Volume 32 Issue 3

Journal Home

Journal home
Journal information
Accepted manuscripts
FirstView articles
Latest issue
All issues
Most cited
Most read
Open access

The Journal of Symbolic Logic

Refine listing

Actions for selected content:

Volume 32 - Issue 3 - 09 October 1967

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.

R. Sikorski and T. Traczyk. On free products of m-distributive Boolean algebras. Colloquium mathematicum, vol. 11 no. 1 (1963), pp. 13–16.

T. Traczyk. Minimal extensions of weakly distributive Boolean algebras. Colloquium mathematicum, vol. 11 no. 1 (1963), pp. 17–24.

M. H. Stone. Free Boolean rings and algebras. Anais da Academia Brasileira de Ciências, vol. 26 (1954), pp. 9–17.

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.

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.

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.

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.

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.

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.

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.

Luis E. Sanchis. Types in combinatory logic. Notre Dame journal of formal logic, vol. 5 no. 3 (1964), pp. 161–180.

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.

Patrick Suppes and Shirley Hill. First course in mathematical logic. Blaisdell Publishing Company, New York, Toronto, and London, 1964, ix + 274 pp.

Frederick Binford. Solutions to the exercises in First course in mathematical logic. Blaisdell Publishing Company, New York, Toronto, and London, 1965, ix + 173 pp.

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.

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.

Related Citations

Other

The Philosopher's Index