Data & IT
Pocket
Metamathematics, Machines and Godel's Proof
N Shankar • Natarajan Shankar • N Shankar • C J Van Rijsbergen
789:-
Uppskattad leveranstid 5-10 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
Describes the use of computer programs to check several proofs in the foundations of mathematics.
- Format: Pocket/Paperback
- ISBN: 9780521585330
- Språk: Engelska
- Antal sidor: 220
- Utgivningsdatum: 1997-01-30
- Förlag: Cambridge University Press