Paul Halmos and Steven Givant. Logic as algebra. The Dolciani mathematical expositions, no. 21. The Mathematical Association of America, Washington 1998, ix + 141 pp [Book Review]

Journal of Symbolic Logic 63 (4):1604 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2586672

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,561

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Paul Halmos, Steven Givant, Logic as Algebra. [REVIEW]Stephen D. Comer - 1998 - Journal of Symbolic Logic 63 (4):1604-1604.
Steven Givant and Paul Halmos. Introduction to Boolean algebras. Undergraduate Texts in Mathematics. Springer, 2009, xiv + 574 pp. [REVIEW]Natasha Dobrinen - 2010 - Bulletin of Symbolic Logic 16 (2):281-282.
Wolf Robert S.. A tour through mathematical logic, The Carus Mathematical Monographs, Number 30. The Mathematical Association of America, Washington, DC, 2005, xv+ 397 pp. [REVIEW]Michael Stob - 2006 - Bulletin of Symbolic Logic 12 (1):141-142.
Aubert Daigneault. Introduction. Studies in algebraic logic, edited by Aubert Daigneault, Studies in mathematics, vol. 9, The Mathematical Association of America, [Washington, D.C.], 1974, pp. 1–5. - William Craig. Unification and abstraction in algebraic logic. Studies in algebraic logic, edited by Aubert Daigneault, Studies in mathematics, vol. 9, The Mathematical Association of America, [Washington, D.C.], 1974, pp. 6–57. - J. Donald Monk. Connections between combinatorial theory and algebraic logic. Studies in algebraic logic, edited by Aubert Daigneault, Studies in mathematics, vol. 9, The Mathematical Association of America, [Washington, D.C.], 1974, pp. 58–91. - Helena Rasiowa. Post algebras as a semantic foundation of m-valued logics. Studies in algebraic logic, edited by Aubert Daigneault, Studies in mathematics, vol. 9, The Mathematical Association of America, [Washington, D.C.], 1974, pp. 92–142. - Gonzalo E. Reyes. From sheaves to logic. Studies in algebraic logic, edited b. [REVIEW]Anne Preller - 1978 - Journal of Symbolic Logic 43 (1):145-147.
Alfred Tarski and Steven Givant. A formalization of set theory without variables. American Mathematical Society colloquium publications, vol. 41. American Mathematical Society, Providence1987, xxi + 318 pp. [REVIEW]István Németi - 1990 - Journal of Symbolic Logic 55 (1):350-352.
Halmos Paul R.. Free monadic algebras. Proceedings of the American Mathematical Society, vol. 10 , pp. 219–227. Reprinted in Algebraic logic, by Paul R. Halmos, Chelsea Publishing Company, New York 1962, pp. 85–95. [REVIEW]Aubert Daigneault - 1962 - Journal of Symbolic Logic 27 (4):469-469.
Halmos Paul R.. The basic concepts of algebraic logic. The American mathematical monthly, vol. 63 , pp. 363–387.Roland Fraïssé - 1958 - Journal of Symbolic Logic 23 (2):223-223.
Halmos Paul R.. Algebraic logic IV. Equality in polyadic algebras. Transactions of the American Mathematical Society, vol. 86 , pp. 1–27. [REVIEW]Roland Fraïssé - 1959 - Journal of Symbolic Logic 24 (3):252-252.
Henkin Leon. Mathematical induction. MAA film manual no. 1. The Mathematical Association of America, University of Buffalo, Buffalo, N.Y., 1961, v + 21 pp. [REVIEW]Theodore Hailperin - 1964 - Journal of Symbolic Logic 29 (4):209-209.
Halmos Paul R.. Algebraic logic, III. Predicates, terms, and operations in polyadic algebras. Transactions of the American Mathematical Society, t. 83 , pp. 430–470. [REVIEW]Roland Fraïssé - 1958 - Journal of Symbolic Logic 23 (4):448-449.

Analytics

Added to PP
2013-11-02

Downloads
28 (#775,195)

6 months
10 (#367,827)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references