Properties of Intuitionistic Provability and Preservativity Logics

R. Iemhoff, D.H.J. de Jongh, C. Zhou

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageUndefined/Unknown
Title of host publicationCOMBLOG '04
Publication statusPublished - 2004

Cite this