About DML-CZ | FAQ | Conditions of Use | Math Archives | Contact Us
  Previous |  Up |  Next

Article

First Page Preview
Cejtin, Grigorij S.
Od logicizmu k proceduralizmu (autobiografické zamyslenie). (Slovak) [From logicism to proceduralism]. Pokroky matematiky, fyziky a astronomie, vol. 29 (1984), issue 3, pp. 155-164
MSC: 00A25, 01A70
Note: Z A. P. Ershov and D. E. Knuth (eds.): Algoritms in Modern Mathematics and Computer Science, LNCS vol. 122, Springer-Verlag, Berlin-Heidelberg-New York, 1981, pp. 390—396. Přeložili P. Mikulecký a J. Kelemen.
Note: From A. P. Ershov and D. E. Knuth (eds.): Algoritms in Modern Mathematics and Computer Science, LNCS 122, Springer-Verlag, Berlin—Heidelberg-New York, 1981, pp. 390—396, translated by P. Mikulecký a J. Kelemen.
Partner of
EuDML logo