file.pdf (1.38 MB)
Download fileIntercalation Calculus for Intuitionistic Propositional Logic
journal contribution
posted on 1992-05-01, 00:00 authored by Saverio CittadiniSaverio Cittadini. Intercalation Calculus for Intuitionistic Propositional Logic.