Электронный каталог

Книга
УДК 510 Л656

Лихтарников, Л. М.
Математическая логика. Курс лекций. Задачник-практикум и решения : учебное пособие / Л. М. Лихтарников, Т. Г. Сукачева . – 3-е изд., испр . – СПб. : Лань-Пресс, 2008 . – 288 с. - ISBN 978-5-8114-0082-9 .

510 Л656

Тезаурус = ГАСНТИ 27.03
Тезаурус = Математика : основания математики и математическая логика

1056417 Кх