279:-
Uppskattad leveranstid 5-10 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
Suitable for advanced undergraduates and graduate students, this self-contained text will appeal to readers from diverse fields and varying backgrounds -- including mathematics, philosophy, linguistics, computer science, and engineering. Topics include 1st-order recursive arithmetic, 1st- and 2nd-order logic, and the arithmetization of syntax. Numerous exercises; some solutions. 1969 edition.
- Format: Pocket/Paperback
- ISBN: 9780486450186
- Språk: Engelska
- Antal sidor: 224
- Utgivningsdatum: 2006-08-01
- Förlag: Dover Publications Inc.