Normal view
MARC view
Введение в метаматематику Стефен К. Клини; Пер. с англ. А. С. Есенина-Вольпина; Под ред. В. А. Успенского
Material type: TextLanguage: Russian Original language: English Publication details: М. Издательство иностранной литературы 1957Description: 526, [2] сOther title: Introduction to metamathematics [Parallel title]Subject(s): математическая логика | теория множеств | исчисление высказываний | исчисление предикатов | формальная арифметика | рекурсивные функции | непротиворечивость | Тьюринга машиныItem type | Current library | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
Выдается в читальный зал | Научная библиотека ТГУ Книгохранилище-11 | 595145к (Browse shelf(Opens below)) | Available | 13820000657191 | |||
1 месяц | Научная библиотека ТГУ Книгохранилище | 1-897735 510 (Browse shelf(Opens below)) | 1 | Available | 13820000391304 |
Browsing Научная библиотека ТГУ shelves, Shelving location: Книгохранилище Close shelf browser (Hides shelf browser)
Библиогр.: с. 493-509
There are no comments on this title.
Log in to your account to post a comment.