Zahlen
H.-D. Ebbinghaus, H. Hermes, F. Hirzebruch, M. Koecher, K. Mainzer, A. Prestel, R. Remmert, K. Lamotke
Häftad, 1983
909 kr
Del i serien Undergraduate Texts in Mathematics
Mathematical Logic
Inbunden, Engelska, 1994
849 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
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).
Produktinformation
- Utgivningsdatum1994-06-10
- Mått155 x 235 x 21 mm
- Vikt596 g
- FormatInbunden
- SpråkEngelska
- SerieUndergraduate Texts in Mathematics
- Antal sidor291
- Upplaga2
- FörlagSpringer-Verlag New York Inc.
- ISBN9780387942582
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Optimal Control of Differential Equations
Nicolae H. Pavel, Pavel H. Pavel, N. H. Pavel, Nicolae H. Pavel
Häftad, 1994
4 959 kr
Zahlen
H.-D. Ebbinghaus, H. Hermes, F. Hirzebruch, M. Koecher, K. Mainzer, A. Prestel, R. Remmert, K. Lamotke
Häftad, 1983
909 kr
Trauma Resuscitation
Peter A. Driscoll, Olive Goodall, Carl Gwinnutt, Cindy Leduc Jimmerson
Häftad, 1994
1 649 kr