opac, catalogo, online,servizi, biblioteca, sebina

Model theory for modal logic : Kripke models for modal predicate calculi / Kenneth A. Bowen. - Dordrecht ; Boston ; London : Reidel, c1979. - X, 127 p. ; 23 cm.

Bowen, Kenneth A.

Testo a stampa (moderno) 1979