Dispensability of Higher-Order in Mathematics Besim Karakadilar, Philosophy, University of Helsinki, Helsinki, FINLAND
Constructive Axiomatic Method in Euclid, Hilbert and Voevodsky Andrei Rodin, Institute of Philosophy, Russian Academy of Sciences, Moscow, RUSSIAN FEDERATION
Gödel's Second Incompleteness Theorem Is Predicate Dependent Alexandr Bessonov, Logic and epistemology, Institute of Philosophy and Law, Novosibirsk, RUSSIAN FEDERATION