Cover Image

Proof methods for modal and intuitionistic logics /

Show other versions (1)
Bibliographic Details
Main Author: Fitting, Melvin, 1942-
Format: Book
Language:English
Published: Dordrecht [Holland] ; Boston : D. Reidel ; [1983]
Series:Synthese library ; v. 169.
Subjects:
Proof theory.
Modality (Logic)
Intuitionistic mathematics.
Search Result 1
Cover Image
by Fitting, Melvin
Published 1983
Connect to the full text of this electronic book
eBook
Show all versions (2)