bokomslag Metamathematics, Machines and Godel's Proof
Data & IT

Metamathematics, Machines and Godel's Proof

N Shankar Natarajan Shankar N Shankar C J Van Rijsbergen

Pocket

789:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 5-10 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 220 sidor
  • 1997
Describes the use of computer programs to check several proofs in the foundations of mathematics.
  • Författare: N Shankar, Natarajan Shankar, N Shankar, C J Van Rijsbergen
  • Format: Pocket/Paperback
  • ISBN: 9780521585330
  • Språk: Engelska
  • Antal sidor: 220
  • Utgivningsdatum: 1997-01-30
  • Förlag: Cambridge University Press