AN INTRODUCTION TO MATHEMATICAL LOGIC AND TYPE THEORY: TO TRUTH THROUGH PROOF.

Andrews, Peter B.

Save for Later

From Antiquariaat Van Veen, Veelerveen, Netherlands

Seller rating 5 out of 5 stars

AbeBooks Seller since November 28, 2007

View this seller's items

View all copies of this book

Used -

Price: US$ 34.36 Convert Currency

US$ 27.70 shipping from Netherlands to U.S.A. Destination, rates & speeds

Quantity: 1 available

Add to basket

Free 30-day returns

Save for Later

About this Item

USA, Academic Press, 1986. 1st edition 304 pp. Pb with dustjacket . This introduction to mathematical logic starts with propositional calculus and first-order logic. Topics covered include syntax, semantics, soundness, completeness, independence, normal forms, vertical paths through negation normal formulas, compactness, Smullyan"s Unifying Principle, natural deduction, cut-elimination, semantic tableaux, Skolemization, Herbrand"s Theorem, unification, duality, interpolation, and definability. The last three chapters of the book provide an introduction to type theory (higher-order logic). It is shown how various mathematical concepts can be formalized in this very expressive formal language. very good condition. Seller Inventory # 23237

Contact seller

Report this item

Bibliographic Details

Title: AN INTRODUCTION TO MATHEMATICAL LOGIC AND ...

Store Description

Antiquariaat van Veen (since 1998) has a general stock but is the right adress for books with heart & soul: astrology, Zen, yoga, spirituality, Krishnamurti, C.G. Jung, Atlantis, Bhagwan/Osho, Buddhism, Tibet, reiki, health, China, mysticism etc. Service as you would like it to be! Feel free to contact us. Man spricht Deutsch / English spoken / On parle Francais. Scans of all books available on demand.

Visit Seller's Storefront

Seller's business information

Antiquariaat Van Veen
Netherlands

Terms of Sale:

Books are in normal antiquarian condition. Small defects, like a few underlinings, library stamps, rust spots, names of previous owners, etc.have not always been mentioned. If in doubt about the bookcondition, please ask us by e-mail. Scans of the books are allways possible.
Books that do not match our description, can be returned within a week after receipt, and after previous consultation.
Payment by Abebooks, VISA, EURO/MASTER-card or PayPal.
Books remain our property until full payment is re...

More Information

Shipping Terms:

Orders usually ship within 2 business days. Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Shipping times cannot be guaranteed. They are only estimates based on the carriers' delivery times, and do not include Customs processing. If your order will pass through Customs, please expect a delay.

Payment Methods
accepted by seller

PayPal Invoice Bank/Wire Transfer

Add to Wants