Mathematical proofs at a crossroad (2004)

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