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

**L**avrov I. A.,

**Maksimova**

**L**.

**L**. ...

**L**avrov I. A.,
**Maksimova** **L**. **L**.
[2003]
Prob**l**ems in Set Theory, Mathematica**l** **L**ogic and Theory of a**l**gorithms
K**l**uwer Academic/P**l**enum Pub**l**ishers
(Перевод книги Лавров И.А., Максимова Л. Л. “ Задачи по теории множеств, мат. ...

**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**.
Ma**l**cev 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.
Mc**L**augh**l**in T.G.
McNicho**l**l ...

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

... functions, e**l**ementary theories, reducibi**l**ities, degrees of unso**l**vabi**l**ity, recursive**l**y enumerab**l**e sets, genera**l**izations of comp**l**exity and so on.
Igor **L**avrov is the author of more then 50 works in mathematica**l** **l**ogic and a**l**gorithms theory. Joint**l**y with **L**. **Maksimova** he wrote monograph "Prob**l**ems in Set theory, Mathematica**l** **L**ogic and Theory of a**l**gorithms". This book to run into five editions on Russion and it was trans**l**ated on Eng**l**ish, Hungarian and Po**l**ish.
Now Igor **L**avrov had p**l**aced on site of ...

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