human thinking machinery / formal derivation systems / /
Organization
Kurt Goedel Research Center / /
Person
Alexandre Borovik / Martin Bays / Misha Gromov / Grigori Mints / Alexandre Luzgarev / Vladimir Sosnilo / David Friedman / Yuri Manin / Jakob Kellner / Ksenia Kuznetsova / A. Luzgarev / V / Alexander Luzgarev / /