file.pdf (1.38 MB)
Download file

Intercalation Calculus for Intuitionistic Propositional Logic

Download (1.38 MB)
journal contribution
posted on 01.05.1992, 00:00 authored by Saverio Cittadini
Saverio Cittadini. Intercalation Calculus for Intuitionistic Propositional Logic.

History

Publisher Statement

All Rights Reserved

Date

01/05/1992

Usage metrics

Categories

Keywords

Exports