A Natural Extension of Natural Deduction
โ
Peter Schroeder-Heister
๐
Article
๐
1984
๐
Association for Symbolic Logic
๐
English
โ 355 KB