Modern logic

A text in elementary symbolic logic
Forfatter:
Graeme Forbes
Note: 
Introduction; Part I: Classical Sentential Logic; 1. What is logic?; 2. First steps in symbolization; 3. Semantics for sentential logic; Part II: Monadic Predicate Logic; 5. Predication and quantification in English; 6. Validity and provability in monadic predicate logic; Part III: First-Order Logic with Identity; 7. Advanced symbolizations; 8. Validity and provability in first-order logic with identity; Part IV: Extensions and Alternatives; 9. An extension to classical logic: Modal logic; 10. Alternatives to classical logic (I): Intuitionism; 11. Alternatives to classical logic (II): Fuzzy logic; Solutions to selected exercises; Bibliography; Index
E-bog

Modern logic (Engelsk)

Grundigt bearbejdet (Engelsk)
Bognummer: 
631501
Nota udgivelsesår: 
2016
Udgave: 
Oxford University Press, 1994
ISBN: 
9780195080292

Emneord

Symbolsk logik
Matematisk logik
Logik
11