to the Logic Days

biography publication list selected articles congratulations congratulations 90
condolences
  Shanin N.A.  
Н. А. Шанин
О процедурном подходе к разъяснению смысла суждений.
Современная логика: проблемы теории, истории и применения в науке. Материалы пятой Общероссийской научной конференции. С.-Петербург (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
    
biography | publication list | selected articles | congratulations | contact information | first page | Logic Days

Copyright ©1999 Steklov Institute of Mathematics at St.Petersburg

Design by Lida Mikhailova