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

Andrews, Peter B.

Condition: Used

Save for Later

Sold by Antiquariaat Van Veen, Veelerveen, Netherlands

AbeBooks Seller since 28 November 2007

Seller rating 3 out of 5 stars

View this seller's items

View all copies of this book

Used

Price: � 26.49 Convert Currency

� 21.36 shipping from Netherlands to U.S.A. Destination, rates & speeds

Quantity: 1 available

Add to basket

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 TYPE THEORY: TO TRUTH THROUGH PROOF.

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

Sale & Shipping Terms

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

Right of cancellation

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.

Shipping rates from Netherlands to U.S.A.

Shipping rates from Netherlands to U.S.A.
Order quantity	12 to 25 business days	8 to 14 business days
First item	� 21.36	� 21.36

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Payment Methods

PayPal Invoice Bank/Wire Transfer

Add to Wants