ENGLISH

Temporal logic: vol.2, mathematical foundations and computational aspects

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

Book information

Publisher
Oxford University Press
Year
2000
ISBN
0198537689
Language
english
Format
DJVU
Filesize
6 MB (5915804 bytes)
Series
Oxford Logic Guides 40
Pages
613\613
Topic
Mathematics Logic
Library
kolxoz
Time added
2014-05-08 09:00:00

Description

We are happy to present the readers with Volume 2 of our temporal logic monograph. It took us four years to finish this volume. We have covered more or less the material promised in the tentative table of contents given in Volume 1. The algorithmic proof chapter is postponed to Volume 3.

Similar books