opac, catalogo, online,servizi, biblioteca, sebina

Advances in temporal logic / edited by Howard Barringer <et al.>. - Dordrecht <etc.> : Kluwer, c2000. - IX, 453 p. ; 24 cm.

Testo a stampa (moderno) 2000