469:-
Uppskattad leveranstid 3-7 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
Comprehensive overview, suitable for advanced undergraduates and graduate students, covers propositional logic; first-order languages and logic; incompleteness, undecidability, and indefinability; recursive functions; computability; and Hilbert's Tenth Problem. 1995 edition.
- Illustratör: black & white illustrations
- Format: Pocket/Paperback
- ISBN: 9780486497853
- Språk: Engelska
- Antal sidor: 512
- Utgivningsdatum: 2013-03-31
- Förlag: Dover Publications Inc.