Metamathematics, Machines and Godel's Proof
N. (SRI International, USA) Shankar
Cambridge University Press, 1997
77,25 €On orderDelivery: 2-3 weeks
Describes the use of computer programs to check several proofs in the foundations of mathematics.
- ISBN-13
- 9780521585330
- ISBN-10
- 0521585333
- Publisher
- Cambridge University Press
- Year
- 1997
- Publication date
- 1997-01-30
- Pages
- 220
- Dimensions
- 192x234x14
- Weight
- 422