Temporal logic : mathematical foundations and computational aspects
Author(s)
Bibliographic Information
Temporal logic : mathematical foundations and computational aspects
（Oxford logic guides, 28,
Clarendon Press , Oxford University Press, 1994-
- v. 1
- v. 2
Available at / 52 libraries
-
Science and Technology Library of Gunma University図書館
v. 1410.96:G11:1200300460,
v. 2410.96:G11:2200000107 -
Science and Technology Library of Gunma University研究室
v. 1410.96:G11:1200300460,
v. 2410.96:G11:2200000107 -
Kobe University Library for Science and Technology
v. 1410-1-7//28030009707409,
v. 2410-1-7//40030200000622 -
v. 1410.96-G11-1943029721//943029738,
v. 2410.96-G11-210005023612 -
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science図書
v. 1dc20:511.3/g1112070327803
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and indexes
Vol. 2 (published 2000) by Dov M. Gabbay, Mark A. Reynolds, Marcelo Finger
