Calculus of Classical Proofs I

Cite this paper

@inproceedings{Fujita1997CalculusOC, title={Calculus of Classical Proofs I}, author={Ken-etsu Fujita}, booktitle={ASIAN}, year={1997} }