Mathematical proofs at a crossroad (2004)
by
Cristian S. Calude
,
Solomon Marcus
| Venue: | Theory Is Forever, Lectures Notes in Comput. Sci. 3113 |
| Citations: | 6 - 6 self |
Document Versions
| Mathematical proofs at a crossroad –Cristian S. Calude, Solomon Marcus — 2004 — Theory Is Forever, Lectures Notes in Comput. Sci. 3113 |
