359:-
Tillfälligt slut online – klicka på "Bevaka" för att få ett mejl så fort varan går att köpa igen.
Comprehensive account of constructive theory of first-order predicate calculus; various interpretations of logical systems. Graduate-level.
- Format: Pocket/Paperback
- ISBN: 9780486634623
- Språk: Engelska
- Antal sidor: 416
- Utgivningsdatum: 2003-03-01
- Förlag: Dover Publications Inc.