Order Total (1 Item Items):
Shipping Destination:
Volume Mathematical Foundations Computational by Gabbay Dov (9 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (9)
- 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
- New (3)
- As New, Fine or Near Fine (1)
- Very Good or Good (4)
- Fair or Poor (No further results match this refinement)
- As Described (1)
Binding
Collectible Attributes
- First Edition (2)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (2)
- Not Print on Demand (8)
Language (1)
Free Shipping
- Free Shipping to U.S.A. (No further results match this refinement)
Seller Location
Seller Rating
-
Temporal Logic: Mathematical Foundations and Computational Aspects. Volume 2.
Language: English
Published by Clarendon Press, Oxford, 2000
ISBN 10: 0198537689 ISBN 13: 9780198537687
First Edition
Original Cloth. 1st Edition. Oxford Logic Guides No. 40. 24 x 15.5 cm., xiii, 597 pp. The book is covered in black cloth with gilt lettering on the spine and front. CONDITION. As new. A very clean tight copy. No marks of ownership.
-
Hardcover. Condition: Very Good. Covers show some yellowing, soiling and scuffing.
-
Second Order Quantifier Elimination. Foundations, Computational Aspects and Applications. Studies in Logic Mathematical Logic and Foundations. Volume 12.
Language: English
Published by College Publications, 2008
ISBN 10: 1904987567 ISBN 13: 9781904987567
First Edition
Broschiert. Condition: Gut. 1. Auflage,. 308 Seiten, Buch gut erhalten, Einband berieben. Ehemaliges Bibliotheksexemplar mit üblichen Stempelungen, Aufklebern und/oder Einträgen sowie foliertem Einband. Aufkleberreste auf der unteren Hälfte des Buches. Auf Titelei Namenseintrag. ISBN: 9781904987567 Sprache: Englisch Gewicht in Gramm: 520.
-
Temporal Logic: Mathematical Foundations and Computational Aspects (Volume 1)
Language: English
Published by Oxford Clarendon Press, 1994
ISBN 10: 0198537697 ISBN 13: 9780198537694
Condition: Good. Volume 1. 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,1250grams, ISBN:0198537697.
-
Temporal Logic: Mathematical Foundations and Computational Aspects: Volume 2
Language: English
Published by Oxford University Press, 2000
ISBN 10: 0198537689 ISBN 13: 9780198537687
Condition: New.
-
Temporal Logic: Mathematical Foundations and Computational Aspects Volume 1 (Oxford Logic Guides)
Language: English
Published by Oxford University Press, USA, 1994
ISBN 10: 0198537697 ISBN 13: 9780198537694
Hardcover. Condition: Brand New. 672 pages. 9.75x6.75x1.75 inches. In Stock.
-
Temporal Logic: Volume 1: Mathematical Foundations and Computational Aspects: Vol 1 (Oxford Logic Guides)
Seller: Fireside Bookshop, Stroud, GLOS, United Kingdom
Association Member: PBFA
Seller rating 5 out of 5 stars
Cloth. Condition: Very Good. Type: Book Small address label on ffep.
-
Hardcover. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Buch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - This is the second volume in a series of well-respected works in temporal science and is by the same authors as the first. Volume one dealt primarily with basic concepts and methods, volume two discuses the more applicable aspects of temporal logics. The first four chapters continue the more theoretical presentations from volume one, covering automata, branching time and labelled deduction. The rest of the book is devoted to discussions of temporal databases, temporal execution and programming, actions and planning. With its inclusion of cutting-edge results and unifying methodologies, this book, and its companion are an indispensable reference for both the pure logician and the theoretical computer scientist.
