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 Hand-written notes

	Hand-written notes chronology of pre-publishing work with G. S. Tseytin's paper "From logicism to proceduralism" Date: 23.10.1980(?) Original document language: Russian Authors: Andrei Petrovich Ershov Images of pages: 1 Back Next document (From logicism to proceduralism) Previous document (Role of a notion of algorithm in the arithmet...)
	Switch to Russian | Search | Advanced search | Folders | Themes

Home Help in Russian Webmaster © Ershov's Institute of Informatics Systems, 2000-2016