sebina, you, services, library, user

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

Testo a stampa (moderno) 2000