Mathematical proofs at a crossroad (2004)

by C S Calude, S Marcus
Venue:Theory Is Forever, Lectures Notes in Comput. Sci. 3113