Archive
International Conferences, Seminars, Symposiums, Congresses, Schools, and Colloquiums
International Symposium "Algorithms in Modern Mathematics and Computer Science"
Preliminary proceedings
From logicism to proceduralism
From logicism to proceduralism
typed copy of the paper
Date: 23.10.1980
Original document language: russian
Authors: Grigori S. Tseitin

Images of pages:
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17


Back
Next document (Hand-written notes)
Previous document (Hand-written notes)

Switch to Russian | Search | Advanced search | Folders | Themes
Home Help in Russian Webmaster © Ershov's Institute of Informatics Systems, 2000-2016