Primitive recursive realizability and basic propositional logic

V. Plisko

Research output: Contribution to journalArticleAcademic

Original languageUndefined/Unknown
Pages (from-to)1-27
Number of pages27
JournalLogic Group preprint series
Publication statusPublished - 2007

Cite this