Библиография Лаврова И.А.

Florence J.B. [1975] On splitting an infinite recursively enumerable class Canad. J. Math., 27, № 5, 1127-1140 76.08.100 EO article Вернуться к поиску

Florence J.B. [1969] Partially ordered sets representable by recursively enumerable classes J. Symbolic Logic, 34, № 1, 8-12 69.12.121 E article Вернуться к поиску

Florence J.B. [1967] Infinite subclasses of recursively enumerable classes Proc. Amer. Math. Soc., 18, № 4, 633-639 68.07.63 EO article Вернуться к поиску

Florence J.B. [1969] Strong enumeration properties of recursively enumerable classes Z. math. Logik und Grundl. Math., 15, № 2, 181-192 70.04.81 EO article Вернуться к поиску

Soare R.I. [1997] Computability and enumerability Proc. X Inter. Congress Logic, Methodology, Philosophy Sci., (Florence, 1995), 221-237 ? article Вернуться к поиску

F Fabian R.J. Fan Yun Feferman S. Feiner L. FejerL FejerPA Fellows M.R. Fenner S. Fenstad J.E. Ferrante J. Figueira S. Finkelstein M. FischerMJ FischerP Fischer.PC Fitting M. Flajolet P. Fleischhack H. Florence J.B. Fokina E.B. Fortnow L. Fotrune S. Fraissé R. Freivalds R.V. Friedberg R.M. FriedmanHM FriedmanSyD Fröhlich A. Frolov A. Füredi Z. Fukuyama M. Вернуться на главную страницу