opac, catalogo, online,servizi, biblioteca, sebina

Proof theory of modal logic / edited by Heinrich Wansing. - Dordercht \etc.! : Kluwer, c1996. - 317 p. ; 25 cm.

Testo a stampa (moderno) 1996