Название книги	Математическая логика:Уч. пособие.
Автор	Лавров И.А.
Язык	русский
ББК	22.11
ISBN
Изательство	Москва
Год	2008