Order Total (1 Item Items):
Shipping Destination:
Mathematical Logic Computer Science (159 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (159)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (2)
- Seller-Supplied Images (63)
- Not Print on Demand (118)
Language (3)
Free Shipping
Seller Location
Seller Rating
-
Paperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
Feasible Mathematics: A Mathematical Sciences Institute Workshop, Ithaca NY, June 1989.; (Progress in Computer Science and Applied Logic, 9.)
Seller: J. HOOD, BOOKSELLERS, ABAA/ILAB, Baldwin City, KS, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. 350pp. Some neat highlighting on 3 pages, otherwise VG+ condition.
-
paperback. Condition: Good. 3rd ed. 2012. Ships in a BOX from Central Missouri! May not include working access code. Will not include dust jacket. Has used sticker(s) and some writing or highlighting. UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes).
-
Paperback. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
-
Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. Clean from markings. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,600grams, ISBN:9781852333195.
-
Mathematical Logic: Foundations for Information Acience. Progress in Computer Science and Applied Logic; Vol. 25.
Language: English
Published by Basel: Birkhäuser., 2010
Seller: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Germany
Association Member: GIAQ
Seller rating 5 out of 5 stars
Hardcover. Condition: Gut. XII, 261 p., with figures, Very good condition. ex libris-stamp. Sprache: Englisch Gewicht in Gramm: 770.
-
Math Whisperer: Math Teacher Gifts, Funny Mathematical logic Physics AI Machine Learning Computer Data Science Lover Theme, Teacher Appreciation . Kids, Children, Blank Lined 120 Pages, 6"x9"
Language: English
Published by Independently published, 2020
ISBN 10: 1659667380 ISBN 13: 9781659667387
Paperback. Condition: Brand New. 120 pages. 9.00x6.00x0.28 inches. In Stock.
-
Mathematical Logic for Computer Science
Language: English
Published by Società Editrice Esculapio, 2010
ISBN 10: 8874883730 ISBN 13: 9788874883738
Seller: libreriauniversitaria.it, Occhiobello, RO, Italy
Seller rating 4 out of 5 stars
Condition: NEW.
-
Condition: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In fair condition, suitable as a study copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,550grams, ISBN:9780135641392.
-
Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,550grams, ISBN:9780135641392.
-
Hardcover. Condition: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.
-
paperback. Condition: New. 3rd ed. 2012. Ships in a BOX from Central Missouri! UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes).
-
Mathematical Logic For Computer Science (2nd Edition) (World Scientific Computer Science Vol. 47)
Language: English
Published by World Scientific Pubishing Co., Singapore, 1998
ISBN 10: 9810230915 ISBN 13: 9789810230913
Soft cover. Condition: Near Fine. 2nd Edition. 246 pages. Trade size paperback. Small name on bottom of title page otherwise like new.
-
Condition: Gut. 320 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 469 24,1 x 17,8 x 1,9 cm, Taschenbuch.
-
Mathematical Logic: For Computer Science with Corrected Exercises
Language: English
Published by LAP LAMBERT Academic Publishing, 2025
ISBN 10: 620917017X ISBN 13: 9786209170171
Condition: New.
-
Condition: Good. Volume 25. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,650grams, ISBN:9783764399764.
-
Paperback. Condition: new. New Copy. Customer Service Guaranteed.
-
£ 36.82 10% off
£ 33.14
£ 14.39 shipping
Ships from France to U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: Très bon. Ancien livre de bibliothèque avec équipements. Edition 2010. Tome 25. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2010. Volume 25. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,650grams, ISBN:9781447141280.
-
Condition: good. May show signs of wear, highlighting, writing, and previous use. This item may be a former library book with typical markings. No guarantee on products that contain supplements Your satisfaction is 100% guaranteed. Twenty-five year bookseller with shipments to over fifty million happy customers.
-
Condition: As New. Unread book in perfect condition.
-
Mathematical Logic for Computer Science
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: good. May show signs of wear, highlighting, writing, and previous use. This item may be a former library book with typical markings. No guarantee on products that contain supplements Your satisfaction is 100% guaranteed. Twenty-five year bookseller with shipments to over fifty million happy customers.
-
Condition: New.
-
Mathematical Logic for Computer Science (Paperback)
Language: English
Published by Springer London Ltd, England, 2012
ISBN 10: 1447141288 ISBN 13: 9781447141280
Paperback. Condition: new. Paperback. Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to understand. The uniform use of tableaux-based techniques facilitates learning advanced logical systems based on what the student has learned from elementary systems.The logical systems presented are: propositional logic, first-order logic, resolution and its application to logic programming, Hoare logic for the verification of sequential programs, and linear temporal logicfor the verification of concurrent programs.The third edition has been entirely rewritten and includes new chapters on central topics of modern computer science: SAT solvers and model checking. This book approaches mathematics based on the needs of computer science students, teaching logic by means of the method of semantic tableaux. The third edition is entirely rewritten, and includes new chapters on SAT solvers and model checking. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
-
Condition: New.
-
Mathematical Logic: Foundations for Information Science (Progress in Computer Science and Applied Logic, 25)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.43
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Condition: Good. Volume 25. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,700grams, ISBN:9783764399764.
-
Mathematical Logic for Computer Science
Language: English
Published by Springer London Ltd, GB, 2012
ISBN 10: 1447141288 ISBN 13: 9781447141280
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. 3rd ed. 2012.
-
Condition: New. Second Edition 2025 NO-PA16APR2015-KAP.
