Couverture : Proof methods for modal and intuitionistic logics

Couverture : Open Library

← Fiche de l'œuvre

Proof methods for modal and intuitionistic logics

Melvin Chris Fitting

Détails de l'édition

ISBN-13
9789027715739
ISBN-10
9027715734
EAN
9789027715739
Éditeur
D. Reidel publ. (Dordrecht)
Date de publication
1 janvier 1983
Langue
eng
Pages
555
Dimensions
23 cm
Provenance des données
  • dimensions BnF Catalogue général · 23 juillet 2026
  • language BnF Catalogue général · 23 juillet 2026
  • page_count BnF Catalogue général · 23 juillet 2026
  • publication_date BnF Catalogue général · 23 juillet 2026