On a practical way of describing formal deductions (1962)

by K Ono
Venue:Nagoya Mathematical Journal