Temporal Logic: Volume 1 - Oxford Logic Guides - Dov M. Gabbay - Books - Oxford University Press - 9780198537694 - July 21, 1994
In case cover and title do not match, the title is correct

Dov M. Gabbay
Temporal Logic: Volume 1 - Oxford Logic Guides

Get an email once the item is available
Do you have a profile? Log in
Get notified about new Dov M. Gabbay releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

BL Indispensable reference for both the pure logician and the theoretical computer scientistThis long awaited book gives a thorough account of the mathematical foundations of Temporal Logic, one of the most important areas of logic in computer science.

668 pages, line figures, tables

Media Books     Hardcover Book   (Book with hard spine and cover)
Released July 21, 1994
ISBN13 9780198537694
Publishers Oxford University Press
Pages 668
Dimensions 163 × 246 × 44 mm   ·   1.21 kg

More by Dov M. Gabbay

Show all

More from the same publisher

See all of Dov M. Gabbay ( e.g. Hardcover Book , Paperback Book and Book )