Normal view
MARC view
Теория доказательств Г. Такеути; Пер. с англ. С. К. Соболева; Под ред. С. И. Адяна
Material type:
TextLanguage: Russian Original language: English Publication details: М. Мир 1978Description: 412, [4] сOther title: Proof theory [Parallel title]Subject(s): доказательств теория (мат. логика) | логика инфинитарная (мат. логика) | Пеано арифметика (мат. логика) | системы первого порядка (доказательств теория) | системы второго порядка (доказательств теория) | системы конечного порядка (доказательств теория) | исчисление предикатов (доказательств теория) | непротиворечивости доказательства | математическая логика
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
| Выдается в читальный зал | Научная библиотека ТГУ Книгохранилище | 1-330058к (Browse shelf(Opens below)) | Available | 13820000578849 | |||
| 1 месяц | Научная библиотека ТГУ Книгохранилище | 1-320733 (Browse shelf(Opens below)) | Available | 13820000593613 | |||
| 6 месяцев | Научная библиотека ТГУ Абонемент. Депозитарий | 51 Т15 (Browse shelf(Opens below)) | 1 | Available | 13820000248404 | ||
| 6 месяцев | Научная библиотека ТГУ Абонемент | 51 Т15 (Browse shelf(Opens below)) | 2 | Available | 13820000259734 |
Browsing Научная библиотека ТГУ shelves, Shelving location: Книгохранилище Close shelf browser (Hides shelf browser)
Предм. указ.: с. 407-410
There are no comments on this title.
Log in to your account to post a comment.