Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
Computational Logic and Set Theory
- Applying Formalized Logic to Analysis
Engelsk
Bogcover for Computational Logic and Set Theory af Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo, 9780857298072
Specifikationer
Sprog:
Engelsk
Sider:
416
ISBN-13:
9780857298072
Indbinding:
Hardback
ISBN-10:
0857298070
Udg. Dato:
16 jul 2011
Størrelse i cm:
24,3 x 16,6 x 3,0
Oplagsdato:
16 jul 2011

Computational Logic and Set Theory

- Applying Formalized Logic to Analysis
Engelsk
Hardback 2011
Format:

Bog beskrivelse
Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the ÆtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory.
... Vis mere

Forlags Vejl. pris
524,24 kr
Hos Booktok
413 kr
spar 21%
Læg i kurv nu
Sikker betaling
23 - 25 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
416
ISBN-13:
9780857298072
Indbinding:
Hardback
ISBN-10:
0857298070
Udg. Dato:
16 jul 2011
Størrelse i cm:
24,3 x 16,6 x 3,0
Oplagsdato:
16 jul 2011
Finder produkter...
Kategori sammenhænge