Melvin Chris Fitting

Œuvres (2)

Couverture : First-order logic and automated theorem proving

First-order logic and automated theorem proving

1990
Couverture : Proof methods for modal and intuitionistic logics

Proof methods for modal and intuitionistic logics

1983