Store besparelser
Hurtig levering
Gemte
Log ind
0
Kurv
Kurv
Mathematical Logic
Engelsk Hardback
Se mere i:
Mathematical Logic
Engelsk Hardback

696 kr
Tilføj til kurv
Sikker betaling
6 - 8 hverdage

Om denne bog
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).
Product detaljer
Sprog:
Engelsk
Sider:
291
ISBN-13:
9780387942582
Indbinding:
Hardback
Udgave:
ISBN-10:
0387942580
Kategori:
Udg. Dato:
10 jun 1994
Længde:
21mm
Bredde:
166mm
Højde:
241mm
Forlag:
Springer-Verlag New York Inc.
Oplagsdato:
10 jun 1994
Kategori sammenhænge