Publications de
Olga Antonova, Sergei Soloviev
Le test de Turing et la question d’une definition de la realite virtuelle
Dans : Logiko-philosophskie shtudii. (Etudes logiko-philosophiques), Universite d’Etat de St. Petersbourg, Russia, Vol. 5, p. 50-67, 2008.
Olga Antonova, Sergei Soloviev
Axiomatika i ochevidnost. (Axiomatique et evidence.)Logiko-philosophskie shtudii, 4, Universite d’Etat de St. Petersbourg
Dans : Logiko-philosophskie shtudii. (Etudes logiko-philosophiques), Universite d’Etat de St. Petersbourg, Russia, Vol. 4, p. 3-11, août 2007.
Sergei Soloviev, Olga Antonova
Axiomatics and its Model Interpretation from the Historical Perspective.
Dans : The Classical Model of Science, Vrije University, Amsterdam, 10/01/07-13/01/07, Vrije Universiteit, p. 18-19, janvier 2007.
Olga Antonova, Sergei Soloviev
About Wittgenstein’s mathematical epistemology
Dans : 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, p. 15-20, août 2006.
Olga Antonova, Sergei Soloviev
On Historical Roots of Type Theory.
Dans : Logic Colloquium (LC 2005), Athens, Greece, 28/07/05-03/08/05, Association for Symbolic Logic (ASL), p. 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, août 2008.