Publications of
Olga Antonova, Sergei Soloviev
Le test de Turing et la question d’une definition de la realite virtuelle
In : Logiko-philosophskie shtudii. (Etudes logiko-philosophiques), Universite d’Etat de St. Petersbourg, Russia, Vol. 5, pp. 50-67, 2008.
Olga Antonova, Sergei Soloviev
Axiomatika i ochevidnost. (Axiomatique et evidence.)Logiko-philosophskie shtudii, 4, Universite d’Etat de St. Petersbourg
In : Logiko-philosophskie shtudii. (Etudes logiko-philosophiques), Universite d’Etat de St. Petersbourg, Russia, Vol. 4, pp. 3-11, August 2007.
Sergei Soloviev, Olga Antonova
Axiomatics and its Model Interpretation from the Historical Perspective.
In : The Classical Model of Science, Vrije University, Amsterdam, 10/01/07-13/01/07, Vrije Universiteit, pp. 18-19, January 2007.
Olga Antonova, Sergei Soloviev
About Wittgenstein’s mathematical epistemology
In : The International Wittgenstein Symposium, Kirchberg am Wechsel, 06/08/06-12/08/06, Austrian Ludwig Wittgenstein Society (ALWS), pre-proceedings of the 29-th International Wittgenstein Symposium, pp. 15-20, August 2006.
Olga Antonova, Sergei Soloviev
On Historical Roots of Type Theory.
In : Logic Colloquium (LC 2005), Athens, Greece, 28/07/05-03/08/05, Association for Symbolic Logic (ASL), pp. 45-45, 2006.
Olga Antonova, Sergei Soloviev
La théorie et la pratique de la réalité virtuelle: l’analyse logique et philosophique., Universite d’Etat de St. Petersbourg, August 2008.