Mathematical Logic
H.-D. Ebbinghaus, J. Flum, Wolfgang Thomas
Springer-Verlag New York Inc., 1994
80,25 €On orderDelivery: 2-3 weeks
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).
- ISBN-13
- 9780387942582
- ISBN-10
- 0387942580
- Publisher
- Springer-Verlag New York Inc.
- Year
- 1994
- Publication date
- 1994-06-10
- Pages
- 291
- Dimensions
- 241x166x21
- Weight
- 596