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 |
Предм. указ.: с. 407-410
There are no comments on this title.
Log in to your account to post a comment.