Библиотеки, издания Поиск публикаций | English | |
Публикации |
Янов Юрий Иванович |
2010 год |
1. |
Авторы: Название: Конструктивное построение теории множеств. I. Порядковые и кардинальные числа |
2007 год |
2. |
Авторы: Название: Математика и метаматематика |
2006 год |
3. |
Авторы: Название: Математика, математика и истина |
2002 год |
4. |
Авторы: Название: Модальные логики и арифметика. II. |
2000 год |
5. |
Авторы: Название: Модальные логики и арифметика. I. |
1978 год |
6. |
Авторы: Название: Несколько теорем о свёртках |
1977 год |
7. |
Авторы: Название: Об эквивалентных преобразователях вычислительных деревьев |
1977 год |
8. |
Авторы: Название: Метод свёрток для разрешения свойств формальных систем |