1. Bazhanov V.A.,Dokazatel’stvo. Trudy moskovskogo seminara po filosofii matematiki(URSS, Moscow, 2014) [In Rus]
2. Vandoulakis I.M., Stephaneas P.,Conceptions of proof in mathematics, Dokazatel’stvo. Trudy moskovskogo seminara po filosofii matematiki(URSS, Moscow, 2014)
3. Hilbert D.,Gesammelte Abhandlungen,Vol. 3(Springer, Berlin 1935).
4. Goguen J.A.,What is a proof. (2001). Available at URL: http://cseweb.ucsd.edu/~goguen/papers/proof.html (accessed on March, 16, 2013)
5. Proofs as Spatio-Temporal Processes