Mathematical Logic - Undergraduate Texts in Mathematics - H.-D. Ebbinghaus - Books - Springer-Verlag New York Inc. - 9780387942582 - June 10, 1994
In case cover and title do not match, the title is correct

H.-D. Ebbinghaus
Mathematical Logic - Undergraduate Texts in Mathematics Second Edition 1994 edition

Get an email once the item is available
Do you have a profile? Log in
Get notified about new H.-D. Ebbinghaus releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

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).

301 pages, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released June 10, 1994
ISBN13 9780387942582
Publishers Springer-Verlag New York Inc.
Pages 291
Dimensions 166 × 241 × 21 mm   ·   596 g
Language English  

More from the same publisher

See all of H.-D. Ebbinghaus ( e.g. Paperback Book and Hardcover Book )