Библиотека Российской академии наук (БАН)

Базы данных


ЭК отдела БАН при Санкт-Петербургском отделении Математического института им. В.А. Стеклова РАН (ПОМИ) - результаты поиска

Вид поиска

Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>A=Boolos, George S.$<.>)
Общее количество найденных документов : 1
1.О1/ В77 - ПОМИ

Boolos, George S. .
Computability and Logic [Text] / G. S. Boolos, J. P. Burgess. - 5th ed. - New York : Cambridge University Press, 2007. - 350 p.. - ISBN 978-0-521-70146-4.

Рубрики:
математическая логика
Доп.точки доступа: Burgess, John P.
Найти похожие