sebina, you, services, library, user

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