Markedets billigste bøger
Gratis fragt fra 599,- kr
Trustpilot
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Metamathematics, Machines and Godel's Proof

Metamathematics, Machines and Godel's Proof

af N. (SRI International Shankar

indgår i Cambridge Tracts in Theoretical Computer Science serien

Metamathematics, Machines and Godel's Proof af N. (SRI International Shankar
Bag om Metamathematics, Machines and Godel's Proof

Describes the use of computer programs to check several proofs in the foundations of mathematics.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780521585330
  • Indbinding:
  • Paperback
  • Sideantal:
  • 220
  • Udgivet:
  • 30. Januar 1997
  • Størrelse:
  • 234x192x14 mm.
  • Vægt:
  • 422 g.
Leveringstid: 2-3 uger
Forventet levering: 9. Juli 2024

Bag om N. (SRI International Shankar

Vis alle bøger af N. (SRI International Shankar

Beskrivelse af Metamathematics, Machines and Godel's Proof

Describes the use of computer programs to check several proofs in the foundations of mathematics.

Brugerbedømmelser af Metamathematics, Machines and Godel's Proof



Andre købte også..
Find lignende bøger
Bogen Metamathematics, Machines and Godel's Proof findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.