Herbert B. Enderton

A Mathematical Introduction to Logic (eBook, ePUB)

• Format: ePub

Produktbeschreibung

A Mathematical Introduction to Logic

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Elsevier Science & Techn.
• Seitenzahl: 317
• Erscheinungstermin: 23. Januar 2001
• Englisch
• ISBN-13: 9780080496467
• Artikelnr.: 38119355

Inhaltsangabe

USEFUL FACTS ABOUT SETS.
SENTENTIAL LOGIC.
FIRST-ORDER LOGIC.
UNDECIDABILITY.
SECOND-ORDER LOGIC.

Rezensionen

Reasons for This Book's Success
"Rigor, integrity and coherence of overall purpose, introducing students to the practice of logic . . ."
--Douglas Cannon, University of Washington
"The book is clearly and carefully written. I adopted this text because of its detailed and rigorous treatment of the predicate calculus, detailed and optimal treatment of the incompleteness phenomena, standard notation as developed by the Berkeley school."
--Karel Prikry, University of Minnesota
"It is mathematically rigorous [and]it has more examples than other books . . . I definitely would use a new edition of this book."
--Sun-Joo Chin, University of Notre Dame