13,99 €
inkl. MwSt.

Versandfertig in über 4 Wochen
  • Broschiertes Buch

Well-written undergraduate-level introduction begins with symbolic logic and set theory, followed by presentation of statement calculus and predicate calculus.Also covers first-order theories, completeness theorem, Godel's incompleteness theorem, much more. Exercises. Bibliography.

Produktbeschreibung
Well-written undergraduate-level introduction begins with symbolic logic and set theory, followed by presentation of statement calculus and predicate calculus.Also covers first-order theories, completeness theorem, Godel's incompleteness theorem, much more. Exercises. Bibliography.