Name: Temporal Logic Mathematical Foundations and Computational Aspects
ISBN: 9780198537687

by Gabbay, Dov M., Reynolds, Mark A, Finger, Marcelo

Temporal Logic Mathematical Foundations and Computational Aspects

by Gabbay, Dov M., Reynolds, Mark A, Finger, Marcelo

Marketplace Prices
New from $358.17

New
$358.17

Recommended

Item Details
Condition: New
Provider: LightningBooks Contact
Provider Rating:

85%
Ships From: Multiple Locations
Shipping: Standard, Expedited (tracking available)
Comments: Fast shipping! All orders include delivery confirmation.

ISBN-13: 9780198537687
ISBN: 0198537689
Publication Date: 2000
Publisher: Oxford University Press, Incorporated

AUTHOR

Gabbay, Dov M., Reynolds, Mark A, Finger, Marcelo

SUMMARY

Mathematical logic is an area of interest in philosophy and computer science as well as mathematics. This book deals with an area of logic of interest in computer science, which considers the particularly rich and complex effects of time.Gabbay, Dov M. is the author of 'Temporal Logic Mathematical Foundations and Computational Aspects', published 2000 under ISBN 9780198537687 and ISBN 0198537689.

[read more]