Published by Oxford University, 1994
ISBN 10: 0198537697 ISBN 13: 9780198537694
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Condition: Good. First edition, first printing, 653 pp., hardcover, lacks the jacket, spine severely slanted, else text clean & binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Published by Clarendon Press, 1994
ISBN 10: 0198537697 ISBN 13: 9780198537694
Seller: SecondSale, Montgomery, IL, U.S.A.
Condition: Acceptable. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc.
Published by Clarendon Press, 1994
ISBN 10: 0198537697 ISBN 13: 9780198537694
Seller: 369 Bookstore _[~ 369 Pyramid Inc ~]_, Dover, DE, U.S.A.
Hardcover. Condition: Good. This much-needed book provides a thorough account of temporal logic, one of the most important areas of logic in computer science today. The book begins with a solid introduction to semantical and axiomatic approaches to temporal logic. It goes on to cover predicate temporal logic, meta-languages, general theories of axiomatization, many dimensional systems, propositional quantifiers, expressive power, Henkin dimension, temporalization of other logics, and decidability results. With its inclusion of cutting-edge results and unifying methodologies, this book is an indispensable reference for both the pure logician and the theoretical computer scientist.
Published by Clarendon Press, Oxford, 2000
ISBN 10: 0198537689 ISBN 13: 9780198537687
Seller: Peter Rhodes, Southampton, United Kingdom
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.
Published by Clarendon Press, 1994
ISBN 10: 0198537697 ISBN 13: 9780198537694
Seller: Half Moon Books, Kingston, NY, U.S.A.
Hardcover. Condition: Very Good. Covers show some yellowing, soiling and scuffing.
Published by Clarendon Press, 1994
ISBN 10: 0198537697 ISBN 13: 9780198537694
Cloth. Condition: Very Good. Type: Book Small address label on ffep.
Published by Oxford University Press, 2000
ISBN 10: 0198537689 ISBN 13: 9780198537687
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Published by Oxford University Press, 2000
ISBN 10: 0198537689 ISBN 13: 9780198537687
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Condition: New.
Published by Oxford University Press, 2000
ISBN 10: 0198537689 ISBN 13: 9780198537687
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Published by Oxford University Press, 2000
ISBN 10: 0198537689 ISBN 13: 9780198537687
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
HRD. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Published by Oxford University Press, 2000
ISBN 10: 0198537689 ISBN 13: 9780198537687
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Condition: New.
Published by Clarendon Press, 1994
ISBN 10: 0198537697 ISBN 13: 9780198537694
Seller: GoldenWavesOfBooks, Fayetteville, TX, U.S.A.
Hardcover. Condition: new. New. Fast Shipping and good customer service.
Published by Clarendon Press, 1994
ISBN 10: 0198537697 ISBN 13: 9780198537694
Seller: GoldBooks, Denver, CO, U.S.A.
Hardcover. Condition: new. New Copy. Customer Service Guaranteed.
Published by Oxford University Press, 2000
ISBN 10: 0198537689 ISBN 13: 9780198537687
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
HRD. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Published by Clarendon Press, 1994
ISBN 10: 0198537697 ISBN 13: 9780198537694
Seller: GoldenDragon, Houston, TX, U.S.A.
Hardcover. Condition: new. Buy for Great customer experience.
Published by Clarendon Press, 1994
ISBN 10: 0198537697 ISBN 13: 9780198537694
Seller: Wizard Books, Long Beach, CA, U.S.A.
Hardcover. Condition: new. New.
Published by OXFORD UNIVERSITY PRESS, 1994
ISBN 10: 0198537697 ISBN 13: 9780198537694
Seller: Front Cover Books, Denver, CO, U.S.A.
Condition: new.
Published by Oxford University Press, 2000
ISBN 10: 0198537689 ISBN 13: 9780198537687
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Condition: As New. Unread book in perfect condition.
Published by Oxford University Press Jun 2000, 2000
ISBN 10: 0198537689 ISBN 13: 9780198537687
Seller: AHA-BUCH GmbH, Einbeck, Germany
Buch. Condition: Neu. Neuware - 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.
Published by Clarendon Press, 1994
ISBN 10: 0198537697 ISBN 13: 9780198537694
Seller: Mispah books, Redhill, SURRE, United Kingdom
Hardcover. Condition: Like New. Like New. book.