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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,829

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

Logic as Algebra.Paul Halmos & Steven Givant - 1998 - Cambridge University Press.
Review: Paul Halmos, Steven Givant, Logic as Algebra. [REVIEW]Stephen D. Comer - 1998 - Journal of Symbolic Logic 63 (4):1604-1604.
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.
Introduction to Boolean algebras. Undergraduate Texts in Mathematics.Steven Givant & Paul Halmos - 2010 - Bulletin of Symbolic Logic 16 (2):281-282.
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.
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.
Universal horn classes categorical or free in power.Steven Givant - 1978 - Annals of Mathematical Logic 15 (1):1-53.
A representation theorem for universal horn classes categorical in power.Steven Givant - 1979 - Annals of Mathematical Logic 17 (1-2):91-116.
Marlow Anderson;, Victor Katz;, Robin Wilson . Sherlock Holmes in Babylon and Other Tales of Mathematical History. x + 384 pp., index. Washington, D.C.: Mathematical Association of America, 2004. [REVIEW]Israel Kleiner - 2004 - Isis 95 (3):465-466.
Hyper-Archimedean BL-algebras are MV-algebras.Esko Turunen - 2007 - Mathematical Logic Quarterly 53 (2):170-175.
Elementary topics in mathematical logic.Alonzo Church - 1942 - Brooklyn, N.Y. [Brooklyn,: Brooklyn, N.Y. [Brooklyn.
The canonical function game.Paul B. Larson - 2005 - Archive for Mathematical Logic 44 (7):817-827.
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.
Problems of equivalence, categoricity of axioms and states description in databases.Tatjana L. Plotkin, Sarit Kraus & Boris I. Plotkin - 1998 - Studia Logica 61 (3):347-366.

Analytics

Added to PP
2016-06-30

Downloads
16 (#905,800)

6 months
1 (#1,469,946)

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