$\alpha$-models and the systems $T$ and $T^\ast$.

• 1 July 1974
• journal article
• Published by Duke University Press in Notre Dame Journal of Formal Logic
• Vol. 15  (3) , 443-454
• https://doi.org/10.1305/ndjfl/1093891405

Abstract