Formalising the hierarchical structure of practical mathematical reasoning (Technical report. University of Queensland. Dept. of Computer Science)

Written by Peter Robinson