Laboratory of Mathematical Logic
at
PDMI
Staff
Teaching/Seminars
Activities
Hilbert's 10th Problem
Gallery
Contacts
Search
Search this site:
Home
Nikolay A. Shanin
Wed, 2010-02-10 00:03 — kulikov
Personal data
Interests:
logic, proof theory
Homepage:
http://logic.pdmi.ras.ru/~shanin
Photo:
Former