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 | Checked out | 27/05/2024 | 13820000259734 |
Предм. указ.: с. 407-410
There are no comments on this title.