Gaisi Takeuti Frege Proof System and TNC°. 221-252 1994 conf/lcc/1994 LCC db/conf/lcc/lcc94.html#Takeuti94