Couverture : Proof methods for modal and intuitionistic logics

Connectez-vous pour ajouter ce livre à votre bibliothèque.

Proof methods for modal and intuitionistic logics

Melvin Chris Fitting

Autre Première publication : 1983

Sujets

Modalité (logique) Théorie de la démonstration Mathématiques intuitionnistes

Éditions (1)

Couverture : Proof methods for modal and intuitionistic logics

Proof methods for modal and intuitionistic logics

D. Reidel publ. (Dordrecht) · 1983 · 9789027715739