Formalizing a hierarchical structure of practical mathematical reasoning (1993)

by P J Robinson, J Staples
Venue:J. Log. Comput