documents   about archive   about project   Andrei Ershov   in Russian

Archive Svyatoslav S. Lavrov's Archive Scientific work Item 112. (Name does not exist in this language.) Drafts

	Drafts C-axiomatization Date: 11.09.1980- 14.09.1980 Original document language: russian Authors: Svyatoslav S. Lavrov Images of pages: 1 2 3 4 5 6 7 8 9 Back Next document (Article (fragment))
	Switch to Russian | Search | Advanced search | Folders | Themes

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