Results (1 - 30) of 147

Condition

Binding

Collectible Attributes

Free Shipping

Bookseller Location

  • All Locations

Bookseller Rating

Gallier, Jean

Published by John Wiley and Sons (WIE)

ISBN 10: 0471615463 ISBN 13: 9780471615460

Used

Quantity Available: 1

From: Phatpocket Limited (Waltham Abbey, HERTS, United Kingdom)

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 6.85
Convert Currency
Shipping: US$ 7.76
From United Kingdom to U.S.A.

Destination, Rates & Speeds

Item Description: John Wiley and Sons (WIE). Book Condition: Acceptable. Used - Acceptable. Crack in bindnig exposing spine. Ex-library with wear - may contain significant amounts of highlighting and underlining in pen or pencil. Bookseller Inventory # Z1-C-028-01039

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

Gallier, Jean H.

ISBN 10: 0471615463 ISBN 13: 9780471615460

Used

Quantity Available: 2

From: medimops (Berlin, Germany)

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 7.94
Convert Currency
Shipping: US$ 8.94
From Germany to U.S.A.

Destination, Rates & Speeds

Item Description: Book Condition: good. 680 Gramm. Bookseller Inventory # M00471615463-G

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

Jean Gallier, Jean Gallier

ISBN 10: 0486780821 ISBN 13: 9780486780825

New

Quantity Available: 5

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

Bookseller Rating: 4-star rating

Add Book to Shopping Basket
Price: US$ 18.37
Convert Currency
Shipping: US$ 2.64
Within U.S.A.

Destination, Rates & Speeds

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

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

Gallier, Jean H.

ISBN 10: 0486780821 ISBN 13: 9780486780825

New

Quantity Available: > 20

From: Paperbackshop-US (Wood Dale, IL, U.S.A.)

Bookseller Rating: 4-star rating

Add Book to Shopping Basket
Price: US$ 17.03
Convert Currency
Shipping: US$ 3.99
Within U.S.A.

Destination, Rates & Speeds

Item Description: 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 4.

Gallier, Jean H

Published by Dover Publishers

ISBN 10: 0486780821 ISBN 13: 9780486780825

New

Quantity Available: > 20

From: INDOO (Avenel, NJ, U.S.A.)

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 18.47
Convert Currency
Shipping: US$ 3.50
Within U.S.A.

Destination, Rates & Speeds

Item Description: Dover Publishers. Book Condition: New. Brand New. Bookseller Inventory # 0486780821

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

Gallier, Jean H.

Published by Dover Publications

ISBN 10: 0486780821 ISBN 13: 9780486780825

Used PAPERBACK

Quantity Available: > 20

From: Mediaoutlet12345 (Springfield, VA, U.S.A.)

Bookseller Rating: 4-star rating

Add Book to Shopping Basket
Price: US$ 19.99
Convert Currency
Shipping: US$ 3.99
Within U.S.A.

Destination, Rates & Speeds

Item Description: Dover Publications. PAPERBACK. Book Condition: Fine. 0486780821 *LIKE NEW* Ships Same Day or Next!. Bookseller Inventory # NATARAJB1FI1011319

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

Gallier, Jean H.

ISBN 10: 0486780821 ISBN 13: 9780486780825

New

Quantity Available: 3

From: Pbshop (Wood Dale, IL, U.S.A.)

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 20.39
Convert Currency
Shipping: US$ 3.99
Within U.S.A.

Destination, Rates & Speeds

Item Description: 2015. PAP. Book Condition: New. New Book.Shipped from US within 10 to 14 business days. Established seller since 2000. Bookseller Inventory # IB-9780486780825

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

Gallier, Jean H.

Published by Dover Publications

ISBN 10: 0486780821 ISBN 13: 9780486780825

Used PAPERBACK

Quantity Available: 1

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

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 24.71
Convert Currency
Shipping: FREE
Within U.S.A.

Destination, Rates & Speeds

Item Description: Dover Publications. PAPERBACK. Book Condition: Very Good. 0486780821 Little wear on the cover. Bookseller Inventory # Z0486780821Z2

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

Gallier, Jean H.

Published by Dover Publications

ISBN 10: 0486780821 ISBN 13: 9780486780825

Used PAPERBACK

Quantity Available: 1

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

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 24.71
Convert Currency
Shipping: FREE
Within U.S.A.

Destination, Rates & Speeds

Item Description: Dover Publications. PAPERBACK. Book Condition: Very Good. 0486780821 Minor shelf wear. Bookseller Inventory # Z0486780821Z2

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

Gallier, Jean H.

Published by Dover Publications

ISBN 10: 0486780821 ISBN 13: 9780486780825

Used PAPERBACK

Quantity Available: 1

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

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 24.71
Convert Currency
Shipping: FREE
Within U.S.A.

Destination, Rates & Speeds

Item Description: Dover Publications. PAPERBACK. Book Condition: Very Good. 0486780821 Little shelf wear. Bookseller Inventory # Z0486780821Z2

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

Jean Gallier

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

ISBN 10: 0486780821 ISBN 13: 9780486780825

New Paperback

Quantity Available: 1

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

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 24.97
Convert Currency
Shipping: FREE
From United Kingdom to U.S.A.

Destination, Rates & Speeds

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 # AAC9780486780825

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

Gallier, Jean H.

Published by Dover Publications

ISBN 10: 0486780821 ISBN 13: 9780486780825

New PAPERBACK

Quantity Available: > 20

From: Mediaoutlet12345 (Springfield, VA, U.S.A.)

Bookseller Rating: 4-star rating

Add Book to Shopping Basket
Price: US$ 21.28
Convert Currency
Shipping: US$ 3.99
Within U.S.A.

Destination, Rates & Speeds

Item Description: Dover Publications. PAPERBACK. Book Condition: New. 0486780821 *BRAND NEW* Ships Same Day or Next!. Bookseller Inventory # NATARAJB1FI1001508

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

Gallier, Jean H.

Published by Dover Publications

ISBN 10: 0486780821 ISBN 13: 9780486780825

Used PAPERBACK

Quantity Available: 1

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

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 25.40
Convert Currency
Shipping: FREE
Within U.S.A.

Destination, Rates & Speeds

Item Description: Dover Publications. PAPERBACK. Book Condition: Fine. 0486780821 Remainder mark. Bookseller Inventory # Z0486780821Z1

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

Gallier, Jean H.

Published by Dover Publications

ISBN 10: 0486780821 ISBN 13: 9780486780825

New PAPERBACK

Quantity Available: 1

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

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 26.09
Convert Currency
Shipping: FREE
Within U.S.A.

Destination, Rates & Speeds

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

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

Jean Gallier

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

ISBN 10: 0486780821 ISBN 13: 9780486780825

New Paperback

Quantity Available: 1

From: The Book Depository (London, United Kingdom)

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 27.75
Convert Currency
Shipping: FREE
From United Kingdom to U.S.A.

Destination, Rates & Speeds

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 # AAC9780486780825

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

Jean H. Gallier

Published by Dover Publications

ISBN 10: 0486780821 ISBN 13: 9780486780825

New Paperback

Quantity Available: 2

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

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 24.96
Convert Currency
Shipping: US$ 3.95
Within U.S.A.

Destination, Rates & Speeds

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. Paperback. Bookseller Inventory # 9780486780825

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

Jean Gallier

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

ISBN 10: 0486780821 ISBN 13: 9780486780825

New Paperback

Quantity Available: 10

From: Book Depository hard to find (London, United Kingdom)

Bookseller Rating: 4-star rating

Add Book to Shopping Basket
Price: US$ 29.62
Convert Currency
Shipping: FREE
From United Kingdom to U.S.A.

Destination, Rates & Speeds

Item Description: Dover Publications Inc., United States, 2015. Paperback. Book Condition: New. 2nd Revised edition. 231 x 155 mm. Language: English . This book usually ship within 10-15 business days and we will endeavor to dispatch orders quicker than this where possible. 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 # BTE9780486780825

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

Jean H. Gallier

ISBN 10: 0486780821 ISBN 13: 9780486780825

New Paperback

Quantity Available: 1

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

Bookseller Rating: 4-star rating

Add Book to Shopping Basket
Price: US$ 30.31
Convert Currency
Shipping: FREE
Within U.S.A.

Destination, Rates & Speeds

Item Description: Paperback. Book Condition: New. 2nd. 155mm x 25mm x 231mm. Paperback. 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 .Shipping may be from multiple locations in the US or from the UK, depending on stock availability. 528 pages. 0.703. Bookseller Inventory # 9780486780825

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

Jean H. Gallier

Published by Dover Publications (2015)

ISBN 10: 0486780821 ISBN 13: 9780486780825

New Paperback

Quantity Available: 1

From: Irish Booksellers (Rumford, ME, U.S.A.)

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 33.25
Convert Currency
Shipping: FREE
Within U.S.A.

Destination, Rates & Speeds

Item Description: Dover Publications, 2015. Paperback. Book Condition: New. book. Bookseller Inventory # 0486780821

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

Jean Gallier

Published by Dover Publications Inc. (2014)

ISBN 10: 0486780821 ISBN 13: 9780486780825

New

Quantity Available: 3

From: Books2Anywhere (Fairford, GLOS, United Kingdom)

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 21.79
Convert Currency
Shipping: US$ 11.66
From United Kingdom to U.S.A.

Destination, Rates & Speeds

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

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

Gallier, Jean:

Published by New York, NY : Springer New York, (2011)

ISBN 10: 1441980466 ISBN 13: 9781441980465

Used Broschiert.

Quantity Available: 1

From: Druckwaren Antiquariat GbR (Hamburg, HH, Germany)

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 23.03
Convert Currency
Shipping: US$ 11.18
From Germany to U.S.A.

Destination, Rates & Speeds

Item Description: New York, NY : Springer New York, 2011. Broschiert. Book Condition: Gut. 1., st Edition.. X, 490 S.: 200 schw.-w. Ill., 20 farb. Ill., 5 schw.-w. Tab.; 235 mm x 155 mm, Einband berieben, ansonsten gut erh. ISBN: 9781441980465 Sprache: Deutsch Gewicht in Gramm: 850. Bookseller Inventory # 21515

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

Jean Gallier

Published by Dover Publications Inc. 2015-06-26, Mineola, New York (2015)

ISBN 10: 0486780821 ISBN 13: 9780486780825

New paperback

Quantity Available: 1

From: Blackwell's (Oxford, OX, United Kingdom)

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 30.03
Convert Currency
Shipping: US$ 5.83
From United Kingdom to U.S.A.

Destination, Rates & Speeds

Item Description: Dover Publications Inc. 2015-06-26, Mineola, New York, 2015. paperback. Book Condition: New. Bookseller Inventory # 9780486780825

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

Jean Gallier

Published by Dover Publications Inc.

ISBN 10: 0486780821 ISBN 13: 9780486780825

New Paperback

Quantity Available: 3

From: THE SAINT BOOKSTORE (Southport, United Kingdom)

Bookseller Rating: 4-star rating

Add Book to Shopping Basket
Price: US$ 29.35
Convert Currency
Shipping: US$ 7.70
From United Kingdom to U.S.A.

Destination, Rates & Speeds

Item Description: Dover Publications Inc. Paperback. Book Condition: new. BRAND NEW, Logic for Computer Science: Foundations of Automatic Theorem Proving (2nd Revised edition), Jean Gallier. Bookseller Inventory # B9780486780825

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

Gallier, Jean H.

Published by Springer, New York, NY (2000)

ISBN 10: 0387950443 ISBN 13: 9780387950440

Used Hardcover

Quantity Available: 1

From: Book Bear (West Brookfield, MA, U.S.A.)

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 35.00
Convert Currency
Shipping: US$ 3.99
Within U.S.A.

Destination, Rates & Speeds

Item Description: Springer, New York, NY, 2000. Cloth. Book Condition: Very Good. 565 pp. Tightly bound. Top corners lighty bumped. Text is free of markings. Rounding to cloth at heal of spine. Size: 8vo - over 7¾" - 9¾" tall. Bookseller Inventory # 009142

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

Gallier, Jean H.

Published by Wiley & Sons 1987 (1987)

Used Softcover

Quantity Available: 1

From: Andere Welten GmbH (Hamburg, HH, Germany)

Bookseller Rating: 2-star rating

Add Book to Shopping Basket
Price: US$ 28.79
Convert Currency
Shipping: US$ 11.12
From Germany to U.S.A.

Destination, Rates & Speeds

Item Description: Wiley & Sons 1987, 1987. Softcover Sehr gut erhalten. Bookseller Inventory # 6106

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

Gallier, Jean

Published by Morgan Kaufmann

ISBN 10: 1558605991 ISBN 13: 9781558605992

Used Hardcover

Quantity Available: 1

From: glenthebookseller (Montgomery, IL, U.S.A.)

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 39.94
Convert Currency
Shipping: US$ 3.00
Within U.S.A.

Destination, Rates & Speeds

Item Description: Morgan Kaufmann. Hardcover. Book Condition: Good. 1558605991 Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc. Bookseller Inventory # Z1558605991Z3

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

Jean Gallier

Published by Morgan Kaufmann (1999)

ISBN 10: 1558605991 ISBN 13: 9781558605992

Used Hardcover

Quantity Available: 1

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

Bookseller Rating: 4-star rating

Add Book to Shopping Basket
Price: US$ 39.93
Convert Currency
Shipping: US$ 3.99
Within U.S.A.

Destination, Rates & Speeds

Item Description: Morgan Kaufmann, 1999. 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 # mon0001143059

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

Jean Gallier

Published by Morgan Kaufmann (1999)

ISBN 10: 1558605991 ISBN 13: 9781558605992

Used Hardcover

Quantity Available: 1

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

Bookseller Rating: 4-star rating

Add Book to Shopping Basket
Price: US$ 39.94
Convert Currency
Shipping: US$ 3.99
Within U.S.A.

Destination, Rates & Speeds

Item Description: Morgan Kaufmann, 1999. Hardcover. Book Condition: Acceptable. Item is intact, but may show shelf wear. Pages may include notes and highlighting. May or may not include supplemental or companion material. Access codes may or may not work. Connecting readers since 1972. Customer service is our top priority. Bookseller Inventory # mon0001114572

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

Jean Gallier

Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG (2013)

ISBN 10: 3642343635 ISBN 13: 9783642343636

New

Quantity Available: > 20

From: Pbshop (Wood Dale, IL, U.S.A.)

Bookseller Rating: 5-star rating

Add Book to Shopping Basket
Price: US$ 45.13
Convert Currency
Shipping: US$ 3.99
Within U.S.A.

Destination, Rates & Speeds

Item Description: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 2013. HRD. Book Condition: New. New Book.Shipped from US within 10 to 14 business days.THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bookseller Inventory # IP-9783642343636

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

Gallier, Jean:

Published by New York, Springer, 2011. (2011)

ISBN 10: 1461428246 ISBN 13: 9781461428244

Used Softcover

Quantity Available: 1

Add Book to Shopping Basket
Price: US$ 40.30
Convert Currency
Shipping: US$ 11.12
From Germany to U.S.A.

Destination, Rates & Speeds

Item Description: New York, Springer, 2011., 2011. 2nd ed. For Computer Science and Engineering. Texts in Applied Mathematics, Vol. 38. XXVII, 680 p. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. 2nd edition. Stamped. Bookseller Inventory # 6330EB

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

Results (1 - 30) of 147