19 citations · 34 across the 5 of their papers we have counts for
1 paper · 1 filter
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…