Vi bøger
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 - N. (SRI International Shankar - Bog

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.
  • 8-11 hverdage.
  • 16. januar 2025
På lager

Normalpris

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

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.