### News

## General Theory of Computability

(bibliography)

by Lavrov I.A.

### Introduction and using rules of Search System

### 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

**Maksimova**

**L**.

**L**. ...

Lavrov I. A.,
**Maksimova** **L**. **L**.
[2003]
Problems in Set Theory, Mathematical Logic and Theory of algorithms
Kluwer Academic/Plenum Publishers
(Перевод книги Лавров И.А., Максимова Л. Л. “ Задачи по теории множеств, мат. ...

**Path:**Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.

M
Maass W.
Mac Queen D.
Machover M.
Machtey M.
MacintyreA
MacIntyreJM
Madan D.B.
Mahaney S.R.
Mahn F.K.
Maier W.
Mainhardt G.
**Maksimova** **L**. **L**.
Malcev A.I.
Manasse M.
Manaster A. B.
Marandzjan G. B.
Marcone A.
Marker D.
Marques I.
MartinDA
MartinG
Matiyasevich Yu.V.
Mayoh B.H.
McCarthyC
McCarthyJ
McCoy Ch.F.D.
McCreight E.M.
McEvoy K.
McKenzie R.
McKinsey J. C. C.
McLaughlin T.G.
McNicholl ...

**Path:**Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.

... functions, elementary theories, reducibilities, degrees of unsolvability, recursively enumerable sets, generalizations of complexity and so on.
Igor Lavrov is the author of more then 50 works in mathematical logic and algorithms theory. Jointly with **L**. **Maksimova** he wrote monograph "Problems in Set theory, Mathematical Logic and Theory of algorithms". This book to run into five editions on Russion and it was translated on English, Hungarian and Polish.
Now Igor Lavrov had placed on site of ...

**Path:**Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.