Normal view
MARC view
Математическая логика [учебное пособие по техническим и естественно-научным специальностям] И. А. Лавров ; под ред. Л. Л. Максимовой
Material type:
TextLanguage: Russian Series: Университетский учебникPublication details: М. Академия 2006Description: 239, [1] с. ил. 22 смISBN: 5769527358Subject(s): математическая логика | учебные пособия для вузов | аксиоматические теории | множества | числа натуральные | числа действительные | аксиомы геометрии | семантика аксиом | предикаты | алгебра высказываний | алгебра предикатов | логические системы | алгебраические системы | синтаксис аксиом | логические исчисления | исчисление высказываний | исчисление предикатов | исчисление функций | Геделя теорема | Цермело теорема | семантика формул | теория множеств | числовые теории | геометрические теории | Тарского аксиомы | Гильберта аксиомы | Пеано арифметикаOther classification: 22.12я73
| Item 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.