1700888
9780198537687
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]