## Mathematical proofs at a crossroad (2004)

by
Cristian S. Calude
,
Solomon Marcus

Venue: | Theory Is Forever, Lectures Notes in Comput. Sci. 3113 |

Citations: | 7 - 7 self |