Cut-Eliminability in Second Order Logic Calculus
Annals of the Japan Association for Philosophy of Science
doi 10.4288/jafpos.27.0_45
Full Text
Open PDFAbstract
Available in full text
Date
January 1, 2018
Authors
Publisher
The Japan Association for Philosophy of Science