Published by Longman Higher Education (1986)

ISBN 10: 0060422254 ISBN 13: 9780060422257

**Used**

Quantity Available: 1

From: Better World Books (Mishawaka, IN, U.S.A.)

**Item Description: **Longman Higher Education, 1986. Book Condition: Good. N/A. Shows some signs of wear, and may have some markings on the inside. Bookseller Inventory # GRP9800910

More Information About This Seller | Ask Bookseller a Question 1.

Published by Longman Higher Education (1986)

ISBN 10: 0060422254 ISBN 13: 9780060422257

**Used**

Quantity Available: 2

From: Better World Books (Mishawaka, IN, U.S.A.)

**Item Description: **Longman Higher Education, 1986. Book Condition: Fair. N/A. Former Library book. Shows definite wear, and perhaps considerable marking on inside. Bookseller Inventory # GRP74132219

More Information About This Seller | Ask Bookseller a Question 2.

Published by Longman Higher Education (1986)

ISBN 10: 0060422254 ISBN 13: 9780060422257

**Used**

Quantity Available: 2

From: Better World Books (Mishawaka, IN, U.S.A.)

**Item Description: **Longman Higher Education, 1986. Book Condition: Good. N/A. Former Library book. Shows some signs of wear, and may have some markings on the inside. Bookseller Inventory # GRP10388688

More Information About This Seller | Ask Bookseller a Question 3.

Published by Longman Higher Education

ISBN 10: 0060422254 ISBN 13: 9780060422257

**Used**
**Hardcover**

Quantity Available: 1

From: Hippo Books (Lakewood, WA, U.S.A.)

**Item Description: **Longman Higher Education. Hardcover. Book Condition: POOR. A readable copy. Quite a bit of ear and creasing. All pages intact. Bookseller Inventory # V2503307726

More Information About This Seller | Ask Bookseller a Question 4.

Published by Longman Higher Education (1986)

ISBN 10: 0060422254 ISBN 13: 9780060422257

**Used**
**Hardcover**

Quantity Available: 1

From: HPB-Ohio (Dallas, TX, U.S.A.)

**Item Description: **Longman Higher Education, 1986. Hardcover. Book Condition: Good. Connecting readers since 1972. Customer service is our top priority. Bookseller Inventory # mon0000466960

More Information About This Seller | Ask Bookseller a Question 5.

Published by Longman Higher Education (1986)

ISBN 10: 0060422254 ISBN 13: 9780060422257

**Used**
**Hardcover**

Quantity Available: 1

From: Book Deals (Lewiston, NY, U.S.A.)

**Item Description: **Longman Higher Education, 1986. Book Condition: Used. This Book is in Good Condition. Clean Copy With Light Amount of Wear. 100% Guaranteed. Bookseller Inventory # ABE_book_usedgood_0060422254

More Information About This Seller | Ask Bookseller a Question 6.

Published by Dover Publications Inc. (2015)

ISBN 10: 0486780821 ISBN 13: 9780486780825

**New**

Quantity Available: > 20

From: Paperbackshop-US (Secaucus, NJ, U.S.A.)

**Item Description: **Dover Publications Inc., 2015. PAP. Book Condition: New. New Book. Shipped from US within 10 to 14 business days. Established seller since 2000. Bookseller Inventory # V0-9780486780825

More Information About This Seller | Ask Bookseller a Question 7.

Published by John Wiley and Sons (WIE)

ISBN 10: 0471615463 ISBN 13: 9780471615460

**Used**
**
Paperback
**

Quantity Available: 1

From: Hippo Books (Lakewood, WA, U.S.A.)

**Item Description: **John Wiley and Sons (WIE). Paperback. Book Condition: GOOD. Good condition. Bookseller Inventory # V2494358527

More Information About This Seller | Ask Bookseller a Question 8.

Published by John Wiley and Sons (WIE) (1988)

ISBN 10: 0471615463 ISBN 13: 9780471615460

**Used**
**
Softcover
**

Quantity Available: 1

From: Book Deals (Lewiston, NY, U.S.A.)

**Item Description: **John Wiley and Sons (WIE), 1988. Book Condition: Used. This Book is in Good Condition. Clean Copy With Light Amount of Wear. 100% Guaranteed. Bookseller Inventory # ABE_book_usedgood_0471615463

More Information About This Seller | Ask Bookseller a Question 9.

Published by John Wiley and Sons (WIE) (1988)

ISBN 10: 0471615463 ISBN 13: 9780471615460

**Used**

Quantity Available: 1

From: Better World Books (Mishawaka, IN, U.S.A.)

**Item Description: **John Wiley and Sons (WIE), 1988. Book Condition: Good. New edition. N/A. Shows some signs of wear, and may have some markings on the inside. Bookseller Inventory # GRP77980243

More Information About This Seller | Ask Bookseller a Question 10.

ISBN 10: 0486780821 ISBN 13: 9780486780825

**New**

Quantity Available: 5

From: GreatBookPrices (Columbia, MD, U.S.A.)

**Item Description: **Book Condition: New. Bookseller Inventory # 21566788-n

More Information About This Seller | Ask Bookseller a Question 11.

Published by Dover Publications

ISBN 10: 0486780821 ISBN 13: 9780486780825

**New**
**
PAPERBACK
**

Quantity Available: 1

From: Vital Products COM LLC (southampton, PA, U.S.A.)

**Item Description: **Dover Publications. PAPERBACK. Book Condition: New. 0486780821. Bookseller Inventory # Z0486780821ZN

More Information About This Seller | Ask Bookseller a Question 12.

Published by Dover Publications

ISBN 10: 0486780821 ISBN 13: 9780486780825

**New**
**
PAPERBACK
**

Quantity Available: 1

From: Bookhouse COM LLC (Philadelphia, PA, U.S.A.)

**Item Description: **Dover Publications. PAPERBACK. Book Condition: New. 0486780821. Bookseller Inventory # Z0486780821ZN

More Information About This Seller | Ask Bookseller a Question 13.

Published by Dover Publications

ISBN 10: 0486780821 ISBN 13: 9780486780825

**New**
**
PAPERBACK
**

Quantity Available: 1

From: Qwestbooks COM LLC (Bensalem, PA, U.S.A.)

**Item Description: **Dover Publications. PAPERBACK. Book Condition: New. 0486780821. Bookseller Inventory # Z0486780821ZN

More Information About This Seller | Ask Bookseller a Question 14.

Published by Dover Publications

ISBN 10: 0486780821 ISBN 13: 9780486780825

**New**
**
PAPERBACK
**

Quantity Available: 1

From: BookShop4U (PHILADELPHIA, PA, U.S.A.)

**Item Description: **Dover Publications. PAPERBACK. Book Condition: New. 0486780821. Bookseller Inventory # Z0486780821ZN

More Information About This Seller | Ask Bookseller a Question 15.

Published by Dover Publications

ISBN 10: 0486780821 ISBN 13: 9780486780825

**New**
**
PAPERBACK
**

Quantity Available: 1

From: Booklot COM LLC (Philadelphia, PA, U.S.A.)

**Item Description: **Dover Publications. PAPERBACK. Book Condition: New. 0486780821. Bookseller Inventory # Z0486780821ZN

More Information About This Seller | Ask Bookseller a Question 16.

Published by Longman Higher Education (1986)

ISBN 10: 0060422254 ISBN 13: 9780060422257

**Used**
**Hardcover**

Quantity Available: 1

From: ExtremelyReliable (RICHMOND, TX, U.S.A.)

**Item Description: **Longman Higher Education, 1986. Hardcover. Book Condition: Used: Good. Bookseller Inventory # SONG0060422254

More Information About This Seller | Ask Bookseller a Question 17.

Published by Dover Publications (2015)

ISBN 10: 0486780821 ISBN 13: 9780486780825

**New**
**
Softcover
**

Quantity Available: 1

From: Book Deals (Lewiston, NY, U.S.A.)

**Item Description: **Dover Publications, 2015. Book Condition: New. Brand New, Unread Copy in Perfect Condition. A+ Customer Service! Summary: Advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. Self-contained treatment; useful for computer scientists. 2003 edition. Bookseller Inventory # ABE_book_new_0486780821

More Information About This Seller | Ask Bookseller a Question 18.

Published by Dover Publications (2015)

ISBN 10: 0486780821 ISBN 13: 9780486780825

**Used**
**
Softcover
**

Quantity Available: 1

From: Book Deals (Lewiston, NY, U.S.A.)

**Item Description: **Dover Publications, 2015. Book Condition: Used. This Book is in Good Condition. Clean Copy With Light Amount of Wear. 100% Guaranteed. Summary: Advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. Self-contained treatment; useful for computer scientists. 2003 edition. Bookseller Inventory # ABE_book_usedgood_0486780821

More Information About This Seller | Ask Bookseller a Question 19.

Published by Dover Publications

ISBN 10: 0486780821 ISBN 13: 9780486780825

**New**
**
PAPERBACK
**

Quantity Available: 8

From: Movie Mars (Indian Trail, NC, U.S.A.)

**Item Description: **Dover Publications. PAPERBACK. Book Condition: New. 0486780821 Brand New Book. Ships from the United States. 30 Day Satisfaction Guarantee!. Bookseller Inventory # 17045386

More Information About This Seller | Ask Bookseller a Question 20.

Published by Dover Publications Inc., United States (2015)

ISBN 10: 0486780821 ISBN 13: 9780486780825

**New**
**
Paperback
**

Quantity Available: 10

From: The Book Depository US (London, United Kingdom)

**Item Description: **Dover Publications Inc., United States, 2015. Paperback. Book Condition: New. 2nd Revised edition. 231 x 155 mm. Language: English Brand New Book. This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. The self-contained treatment is also useful for computer scientists and mathematically inclined readers interested in the formalization of proofs and basics of automatic theorem proving. Topics include propositional logic and its resolution, first-order logic, Gentzen s cut elimination theorem and applications, and Gentzen s sharpened Hauptsatz and Herbrand s theorem. Additional subjects include resolution in first-order logic; SLD-resolution, logic programming, and the foundations of PROLOG; and many-sorted first-order logic. Numerous problems appear throughout the book, and two Appendixes provide practical background information. Bookseller Inventory # AAS9780486780825

More Information About This Seller | Ask Bookseller a Question 21.

Published by Dover Publications Inc., United States (2015)

ISBN 10: 0486780821 ISBN 13: 9780486780825

**New**
**
Paperback
**

Quantity Available: 10

From: The Book Depository (London, United Kingdom)

**Item Description: **Dover Publications Inc., United States, 2015. Paperback. Book Condition: New. 2nd Revised edition. 231 x 155 mm. Language: English Brand New Book. This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. The self-contained treatment is also useful for computer scientists and mathematically inclined readers interested in the formalization of proofs and basics of automatic theorem proving. Topics include propositional logic and its resolution, first-order logic, Gentzen s cut elimination theorem and applications, and Gentzen s sharpened Hauptsatz and Herbrand s theorem. Additional subjects include resolution in first-order logic; SLD-resolution, logic programming, and the foundations of PROLOG; and many-sorted first-order logic. Numerous problems appear throughout the book, and two Appendixes provide practical background information. Bookseller Inventory # AAS9780486780825

More Information About This Seller | Ask Bookseller a Question 22.

ISBN 10: 0486780821 ISBN 13: 9780486780825

**New**
**
Paperback
**

Quantity Available: 1

From: Grand Eagle Retail (Wilmington, DE, U.S.A.)

**Item Description: **Paperback. Book Condition: New. 2nd. 234mm x 155mm x. Paperback. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. 528 pages. 0.671. Bookseller Inventory # 9780486780825

More Information About This Seller | Ask Bookseller a Question 23.

Published by Longman Higher Education (1986)

ISBN 10: 0060422254 ISBN 13: 9780060422257

**Used**
**Hardcover**

Quantity Available: 1

From: Booked Again (Summit, NJ, U.S.A.)

**Item Description: **Longman Higher Education, 1986. Hardcover. Book Condition: Very Good. Very good. Bookseller Inventory # HH-002-45-1510001

More Information About This Seller | Ask Bookseller a Question 24.

Published by Dover Publications

ISBN 10: 0486780821 ISBN 13: 9780486780825

**New**
**
Paperback
**

Quantity Available: 2

From: BuySomeBooks (Las Vegas, NV, U.S.A.)

**Item Description: **Dover Publications. Paperback. Book Condition: New. Paperback. 544 pages. Dimensions: 0.0in. x 0.0in. x 0.0in.This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. The self-contained treatment is also useful for computer scientists and mathematically inclined readers interested in the formalization of proofs and foundations of automatic theorem proving. 2003 edition. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN, Momence,IL, Commerce,GA. Paperback. Bookseller Inventory # 9780486780825

More Information About This Seller | Ask Bookseller a Question 25.

Published by Longman Higher Education (1986)

ISBN 10: 0060422254 ISBN 13: 9780060422257

**Used**
**Hardcover**

Quantity Available: 1

From: Anybook Ltd. (Lincolnshire, United Kingdom)

**Item Description: **Longman Higher Education, 1986. Book Condition: Poor. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In poor condition, suitable as a reading copy. No dust jacket. , 900grams, ISBN:0060422254. Bookseller Inventory # 4915865

More Information About This Seller | Ask Bookseller a Question 26.

Published by Springer (2000)

ISBN 10: 0387950443 ISBN 13: 9780387950440

**Used**
**Hardcover**

Quantity Available: 1

From: HPB-Dallas (Dallas, TX, U.S.A.)

**Item Description: **Springer, 2000. Hardcover. Book Condition: Good. Item may show signs of shelf wear. Pages may include limited notes and highlighting. Includes supplemental or companion materials if applicable. Access codes may or may not work. Connecting readers since 1972. Customer service is our top priority. Bookseller Inventory # mon0000438726

More Information About This Seller | Ask Bookseller a Question 27.

Published by Springer-Verlag New York, Inc., New York, New York, U.S.A. (2001)

ISBN 10: 0387950443 ISBN 13: 9780387950440

**Used**
**Hardcover**

Quantity Available: 1

From: William James Bookseller (Port Townsend, WA, U.S.A.)

**Item Description: **Springer-Verlag New York, Inc., New York, New York, U.S.A., 2001. Hardcover. Book Condition: Very Good. 8vo - over 7¾", up to 9¾" tall. Spine ends are slightly bumped, text block is trivially soiled, and previous owner's stamp is embossed on first two leaves. Binding is slightly corkscrewed but tight, with sound hinges, and in fact this copy is crisp as though it has hardly been opened. Yellow boards and interior are clean, bright and otherwise unmarked. Overall, this copy is in very good condition. Bookseller Inventory # L0591

More Information About This Seller | Ask Bookseller a Question 28.

Published by Springer (2011)

ISBN 10: 1441980466 ISBN 13: 9781441980465

**Used**
**
Paperback
**

Quantity Available: 1

From: TotnesBooks (Totnes, United Kingdom)

**Item Description: **Springer, 2011. Paperback. Book Condition: Very Good. VERY GOOD OVERALL CONDITION - PLEASE SEE OUR OTHER TITLES BY THIS AUTHOR - TRUSTED DEVON (UK) BASED SELLER - IN STOCK -. Bookseller Inventory # mon0000457911

More Information About This Seller | Ask Bookseller a Question 29.

Published by Dover Publications 0

ISBN 10: 0486780821 ISBN 13: 9780486780825

**Used**

Quantity Available: 1

From: Powell's Books (Portland, OR, U.S.A.)

**Item Description: **Dover Publications 0. Second TRADE PAPER Mathematics-Computer . NEW, Standard. Bookseller Inventory # 01978048678082500

More Information About This Seller | Ask Bookseller a Question 30.

Condition

- All Conditions
- New Books (91)
- Used Books (40)

Binding

- All Bindings
- Hardcover (48)
- Softcover (59)

Collectible Attributes

- First Edition (3)
- Signed Copy
- Dust Jacket (1)
- Seller-Supplied Images (2)
- Not Printed On Demand

Free Shipping

- Free US Shipping (41)

Bookseller Location

- All Locations

Bookseller Rating

- All Booksellers
- and up
- and up (130)
- and up (128)
- (80)