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

Publiceret: 2002-06-01

Artikler