Skip to content

New Intuitionistic Logical Constants: Undecidability of the Conservativsness Problem.

A. D. Yashin

VenueBCSL
Year1996
ProceedingsCSL

Browse the full CSL paper archive.