Propositional Proof Systems and Fast Consistency Provers

Research output: Contribution to journal › Article › Academic › peer-review

Original language	Undefined/Unknown
Pages (from-to)	381-398
Number of pages	18
Journal	Notre Dame Journal of Formal Logic
Volume	48
Issue number	3
Publication status	Published - 2007

Cite this

@article{f33fbaa0cc184272a03b708ff8d10dca,

title = "Propositional Proof Systems and Fast Consistency Provers",

author = "J.J. Joosten",

year = "2007",

language = "Undefined/Unknown",

volume = "48",

pages = "381--398",

journal = "Notre Dame Journal of Formal Logic",

issn = "0029-4527",

publisher = "Duke University Press",

number = "3",

}