Михаил Владимирович Подвальный Россия, Санкт -Петербург Естественные науки Інформатика Логіка Математика