91 citations · 223 across the 13 of their papers we have counts for
1 paper · 2 filters
Cristian S. Calude, Elena Calude, Solomon Marcus
In this paper we propose a new perspective on the evolution and history of the idea of mathematical proof. Proofs will be studied at three levels: syntactical, semantical and pragm…