Лекция 1. С.Л.Кузнецов. Генценовское исчисление для интуиционистской логики высказываний

Мы рекомендуем

13 марта 2020

Владивосток. Москва-гребешки. Мировой рынок

31 марта 2019

Интервью с Верой записанное в сороковой день со дня смерти Светланы Васильевны Жарниковой.

27 июля 2022

Свежие истории: миксуй по-летнему!

28 января 2018

Острый аппендицит.Лекция. Д.м.н, профессор Плюснин Б.И.