Name: Metamathematics, Machines and Godel's Proof
Price: 549.95 DKK
Availability: InStock
Author: N. (SRI International Shankar
ISBN: 9780521585330

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

Du sparer 0% ift. normalprisen Spar 0%

Paperback
8-11 hverdage
549,95 kr.

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

Forlag:
Cambridge University Press

Indbinding:
Paperback

Sideantal:
220

Udgivet:
30. januar 1997

Størrelse:
234x192x14 mm.

Vægt:
422 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 7. december 2024

På lager

Normalpris

BLACK NOVEMBER
549,95 kr. + Fragt
~~549,95 kr.~~

Medlemspris

499,95 kr.

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:

Business og læring > Computer og IT

Metamathematics, Machines and Godel's Proof - N. (SRI International Shankar - Bog

Bag om N. (SRI International Shankar

Beskrivelse af Metamathematics, Machines and Godel's Proof

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

Gør som tusindvis af andre bogelskere