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

Price
$ 63.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 30 - Jul 6

Our customers say:

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

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  

Mere med samme udgiver

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