Propositional Proof Systems and Fast Consistency Provers

J.J. Joosten

Research output: Contribution to journalArticleAcademicpeer-review

Original languageUndefined/Unknown
Pages (from-to)381-398
Number of pages18
JournalNotre Dame Journal of Formal Logic
Volume48
Issue number3
Publication statusPublished - 2007

Cite this