Logic as Algebra

Paul Halmos, Steven Givant (Autoren)

Buch | Softcover

148 Seiten

1998
Mathematical Association of America (Verlag)
978-0-88385-327-6 (ISBN)

Infos

An introduction to logic that treats logic from an algebraic perspective. What this means is that notions and results from logic become much easier to understand when seen from a familiar standpoint of algebra. Written in the engaging and provocative style that is the hallmark of Paul Halmos.

---

Here is an introduction to modern logic that differs from others by treating logic from an algebraic perspective. What this means is that notions and results from logic become much easier to understand when seen from a familiar standpoint of algebra. The presentation, written in the engaging and provocative style that is the hallmark of Paul Halmos, from whose course the book is taken, is aimed at a broad audience, students, teachers and amateurs in mathematics, philosophy, computer science, linguistics and engineering; they all have to get to grips with logic at some stage. All that is needed to understand the book is some basic acquaintance with algebra.

Inhalt

1. What is logic? 2. Propositional calculus; 3. Boolean algebra; 4. Boolean universal algebra; 5. Logic via algebra; 6. Lattices and infinite operations; 7. Monadic predicate calculus.

Produkt-Details

• Erscheint lt. Verlag: 3.9.1998
• Reihe/Serie: Dolciani Mathematical Expositions
• Zusatzinfo: Worked examples or Exercises
• Verlagsort: Washington
• Sprache: englisch
• Maße: 154 x 230 mm
• Gewicht: 213 g
• Themenwelt: Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
• ISBN-10: 0-88385-327-2 / 0883853272
• ISBN-13: 978-0-88385-327-6 / 9780883853276
• Zustand: Neuware