259:-
Uppskattad leveranstid 3-8 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
Well-written undergraduate-level introduction begins with symbolic logic and set theory, followed by presentation of statement calculus and predicate calculus. First-order theories are discussed in some detail, with special emphasis on number theory. After a discussion of truth and models, the compl
- Format: Pocket/Paperback
- ISBN: 9780486662695
- Språk: Engelska
- Antal sidor: 212
- Utgivningsdatum: 2003-03-01
- Förlag: Dover Publications Inc.