439:-
Uppskattad leveranstid 5-10 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
This reprint of Kleene's 1967 text provides an elementary but thorough treatment of mathematical logic of the first order. Kleene (formerly: mathematics, University of Wisconsin, Madison) covers a variety of methods and techniques including model theory (truth tables), Hilbert-type proof theory, and
- Format: Pocket/Paperback
- ISBN: 9780486425337
- Språk: Engelska
- Antal sidor: 416
- Utgivningsdatum: 2003-03-01
- Förlag: Dover Publications Inc.