|
Литература
|
Лавров И.А.: Математическая логика. - М.: Академия, 2006
|
|
Литература
|
Верещагин Н.К.: Языки и исчисления. - М.: МЦНМО, 2002
|
|
Литература
|
Лавров С.С.: Программирование. Математические основы, средства, теория. - СПб.: БХВ-Петербург, 2001
|
|
Литература
|
Верещагин Н.К.: Языки и исчисления. - М.: МЦНМО, 2000
|
|
Литература
|
Клини С.К.: Математическая логика. - М.: Мир, 1973
|
|
Литература
|
Новиков П.С.: Элементы математической логики. - М.: НАУКА, 1973
|