An edition of Temporal Logic Vol. 2 (2000)
Volume 2
By Dov. M. Gabbay,Mark A. Reynolds,Marcelo Finger
Publish Date
May 15, 2000
Publisher
Oxford University Press, USA
Language
eng
Pages
612