Н. А. Шанин
О процедурном подходе к разъяснению смысла суждений.
Современная логика: проблемы теории, истории и применения в науке.
Материалы пятой Общероссийской научной конференции. С.-Петербург (1998), 415-421.
Н. А. Шанин
Эскиз финитарного варианта математического анализа.
Препринт ПОМИ 2000-6
[PostScript]
Та же статья в форме буклета
|
N. A. Shanin
Constructive real numbers and constructive function spaces
Translations of Mathematical Monographs. 21. Providence, RI: Amer. Math. Soc., IV (1968), 325 pp.
|
Aleksandr A. Ivanov <aaivanov@pdmi.ras.ru>
On topological works of N.Shanin.
[PostScript] [PDF]
|
Grigori Mints <mints@csli.stanford.edu>
Department of Philosophy, Stanford University
Proof search under Shanin.
[PostScript] [PDF]
|
Vladimir Lifschitz, University of Texas
<vl@cs.utexas.edu>
Professor Nikolai Shanin and Constructive Mathematics (abstract).
[PostScript] [PDF]
|
Гимн конструктивистов
(Hymnos of constructivists).
|
Proceedings of the First St.Petersburg Days of Logic and Computability
Annals of Pure and Applied Logic, Volume 113, Issue 1-3, 27 December 2001
|
