opac, catalogo, online,servizi, biblioteca, sebina

Ricerca avanzata Cronologia ricerche

Proof methods for modal and intuitionistic logics / Melvin Fitting. - Dordrecht [etc.] : D. Reidel, c1983. - VIII, 555 p. ; 23 cm.

Fitting, Melvin Chris

Testo a stampa (moderno) 1983