Normal view
MARC view
Математическая логика [учебное пособие по техническим и естественно-научным специальностям] И. А. Лавров ; под ред. Л. Л. Максимовой
Material type: TextLanguage: Russian Series: Университетский учебникPublication details: М. Академия 2006Description: 239, [1] с. ил. 22 смISBN: 5769527358Subject(s): математическая логика | учебные пособия для вузов | аксиоматические теории | множества | числа натуральные | числа действительные | аксиомы геометрии | семантика аксиом | предикаты | алгебра высказываний | алгебра предикатов | логические системы | алгебраические системы | синтаксис аксиом | логические исчисления | исчисление высказываний | исчисление предикатов | исчисление функций | Геделя теорема | Цермело теорема | семантика формул | теория множеств | числовые теории | геометрические теории | Тарского аксиомы | Гильберта аксиомы | Пеано арифметикаOther classification: 22.12я73Item type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
Выдается в читальный зал | Научная библиотека ТГУ Книгохранилище | 1-946520к (Browse shelf(Opens below)) | Available | 13820000568702 | ||
1 неделя | Научная библиотека ТГУ Читальный зал 5 | 510 Л136 (Browse shelf(Opens below)) | Available | 13820000568700 | ||
1 неделя | Научная библиотека ТГУ Читальный зал 5 | 510 Л136 (Browse shelf(Opens below)) | Available | 13820000568701 |
Библиогр.: с. 230
Предм. указ.: с. 231-238
There are no comments on this title.
Log in to your account to post a comment.