Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
Mathematical Logic
Engelsk
Bogcover for Mathematical Logic af H.-D. Ebbinghaus, J. Flum, Wolfgang Thomas, 9780387942582
Specifikationer
Sprog:
Engelsk
Sider:
291
ISBN-13:
9780387942582
Indbinding:
Hardback
ISBN-10:
0387942580
Kategori:
Udg. Dato:
10 jun 1994
Størrelse i cm:
24,1 x 16,6 x 2,1
Oplagsdato:
10 jun 1994

Mathematical Logic

Engelsk
Hardback 1994
Format:

Bog beskrivelse
Our first goal is Godel's completeness theorem, which shows that the con­ sequence relation coincides with formal provability: By means of a calcu­ lus consisting of simple formal inference rules, one can obtain all conse­ quences of a given axiom system (and in particular, imitate all mathemat­ ical proofs).
... Vis mere

Forlags Vejl. pris
623,70 kr
Hos Booktok
566 kr
spar 9%
Læg i kurv nu
Sikker betaling
6 - 8 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
291
ISBN-13:
9780387942582
Indbinding:
Hardback
ISBN-10:
0387942580
Kategori:
Udg. Dato:
10 jun 1994
Størrelse i cm:
24,1 x 16,6 x 2,1
Oplagsdato:
10 jun 1994
Finder produkter...
Kategori sammenhænge