Resolution and the consistency of analysis.

• 1 January 1974
• journal article
• Published by Duke University Press in Notre Dame Journal of Formal Logic
• Vol. 15  (1) , 73-84
• https://doi.org/10.1305/ndjfl/1093891200

Abstract

Keywords

• TYPE THEORY
• LOGIC