The Deduction Theorem in a Functional Ca
โ
Review by: W. V. Quine
๐
Article
๐
1947
๐
Association for Symbolic Logic
๐
English
โ 240 KB