Author

Melvin Fitting

1 book in the catalog

Books 1

Ranked by Open Library ratings and reading logs. One edition per work.

Proof methods for modal and intuitionistic logics

1 readers 1983