First Course in Mathematical Logic
Starting with symbolizing sentences and sentential connectives, this work proceeds to the rules of logical inference and sentential derivation, examines the concepts of truth and validity, and presents a series of truth tables. Subsequent topics include terms, predicates, and universal quantifiers; universal specification and laws of identity; axioms for addition; and universal generalization. 1964 edition. Index.
CHF 22.90
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V105:
Folgt in ca. 15 Arbeitstagen
Produktdetails
Weitere Autoren: Hill, Shirley
- ISBN: 978-0-486-42259-6
- EAN: 9780486422596
- Produktnummer: 20744478
- Verlag: Dover Pubn Inc
- Sprache: Englisch
- Erscheinungsjahr: 2010
- Seitenangabe: 288 S.
- Masse: H21.4 cm x B13.8 cm x D1.4 cm 315 g
- Gewicht: 315
29 weitere Werke von Patrick Suppes:
Bewertungen
Anmelden