Calculus of Classical Proofs I

• Authors:

• Ken-etsu Fujita

• Affiliations:

• -

• Venue:
• ASIAN '97 Proceedings of the Third Asian Computing Science Conference on Advances in Computing Science
• Year:
• 1997