No. 31 (2002): RS-31 Proof Mining: A Systematic Way of Analysing Proofs in Mathematics

Published: 2002-06-01