Подход Колмогорова И Гeделя К Интуиционистской Логике И Работы Последнего Десятилетия В Этом Направлении
Успехи математических наук
doi 10.4213/rm715
Full Text
Open PDFAbstract
Available in full text
Date
January 1, 2004
Authors
Publisher
Steklov Mathematical Institute