Search results
News
General Theory of Computability
(bibliography)
by Lavrov I.A.
By Author Name:
English: A-B-C-D-E-F-G-H-I-J-K-L-M-N-O-P-Q-R-S-T-U-V-W-X-Y-Z
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
Search
Moschovakis Y.N. [1971] Axioms for computation theories - first draff Logic Coll’69, North-Holland, 199-255 71.11.86 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Moschovakis Y.N. [1965] Notation systems and recursive ordered fields Compositio Math., 17, № 1, 40-71 66.10.45 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Moschovakis Y.N. [1969] Abstract computability and invariant definability J. Symbolic Logic, 34, № 4, 605-633 70.11.50 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Moschovakis Y.N. [1967] Hyperanalitic predicates Trans. Amer. Math. Soc., 129, № 2, 249-282 68.11.46 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Moschovakis Y.N. [1969] Abstract first order computability, II Trans. Amer. Math. Soc., 138, № 4, 465-504 70.03.86 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Moschovakis Y.N. [1967] Many-one degrees of the predicates H α ( x ) Pacif. J. Math., 18, № 2, 329-342 67.10.55 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Moschovakis Y.N. [1964] Recursive metric spaces Fund. Math., 55, № 3, 215-238 65.09.65 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Moschovakis Y.N. [1989] The formal language of recursion J. Symbolic Logic, 54, № 4, 1216-1252 91.01.47 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Moschovakis Y.N. [1969] Abstract first order computability, I Trans. Amer. Math. Soc., 138, № 4, 427-464 70.03.85 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Hinman P.G., Moschovakis Y.N. [1971] Computability over the continuum Logic Coll ’69, North Holland, 77-105 71.11.85 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kechris A.S., Moschovakis Y.N. [1977] Recursion in higter types Handbook of Mathematic Logic, p. C, 681-737, North-Holland (Русский перевод в Справочной книге по математической логике, ч. III , (Ершов Ю.Л. – ред.),...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.... Mileti J.R. MillarRC MillarTS MillerD MillerJS MillerRG MillerS MillerW Mills C.F. Minsky M.L. Mitchell R. Moggi E. Moh Shaw-kwei Mohrherr J. Moldestad J. Moll R. Monk J.D. Montagna F. Montalban A. MooreD MooreEF Morley M.D. Morozov A.S. Morris P.B. Moschovakis Y.N. Moses M.F. Mostowski A. MouradJ MouradKJ Mrowka S. MuchnikAn.A. Muraki H. Myasnikov A.G. Mycka J. Myhill J. Mytilinaios M.E. Вернуться на главную страницу
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.