The Stroke Function in Natural Deduction

• 1 January 1961
• journal article
• Published by Wiley in Mathematical Logic Quarterly
• Vol. 7  (7-10) , 117-123
• https://doi.org/10.1002/malq.19610070706

Abstract

Keywords

• NATURAL DEDUCTION