Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
Metamathematics, Machines and Godel's Proof
Engelsk
Bogcover for Metamathematics, Machines and Godel's Proof af N. Shankar, 9780521585330
Specifikationer
Sprog:
Engelsk
Sider:
220
ISBN-13:
9780521585330
Indbinding:
Paperback
ISBN-10:
0521585333
Kategori:
Udg. Dato:
30 jan 1997
Størrelse i cm:
19,2 x 23,4 x 1,4
Oplagsdato:
30 jan 1997
Forfatter(e):

Metamathematics, Machines and Godel's Proof

Engelsk
Paperback 1997
Format:

Bog beskrivelse
Describes the use of computer programs to check several proofs in the foundations of mathematics.
... Vis mere

Forlags Vejl. pris
524,33 kr
Hos Booktok
461 kr
spar 12%
Læg i kurv nu
Sikker betaling
23 - 25 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
220
ISBN-13:
9780521585330
Indbinding:
Paperback
ISBN-10:
0521585333
Kategori:
Udg. Dato:
30 jan 1997
Størrelse i cm:
19,2 x 23,4 x 1,4
Oplagsdato:
30 jan 1997
Forfatter(e):
Finder produkter...
Kategori sammenhænge