documents   about archive   about project   Andrei Ershov   in Russian

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