Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Toshiyasu ARAI

Cut-Eliminability in Second Order Logic Calculus

Annals of the Japan Association for Philosophy of Science

English