A note on temporal logic

Bulletin of the Section of Logic, Tom 18, Numer 2 (1989) s. 51-121
Newton C.A. da Costa, S. French

 

do góry