Еще
Логотип LiveLib

Это новая версия страницы. Часть функций ещё в работе — мы добавляем их постепенно.

К старой версии страницы

Издания и произведения

Натуральный вывод. Теоретико-доказательное исследование

Даг Правиц