13 citations · 14 across the 2 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…