Normal view
MARC view
Математическая логика Стефан Коул Клини; пер. с англ. Ю. А. Гастева; под ред. Г. Е. Минца
Material type: TextLanguage: Russian Original language: English Publication details: Москва Мир 1973Description: 480 сContent type: Текст Media type: непосредственный Other title: Mathematical Logic [Parallel title]Subject(s): математическая логикаOther classification: Ю4в016
Contents:
В кн.: также: Нормализация доказательств. Функциональная форма. Теорема Эрбрана для непредваренных формул/ Г.Е. Минц
Item type | Current library | Collection | Call number | Copy number | Status | Notes | Date due | Barcode |
---|---|---|---|---|---|---|---|---|
Выдается в читальный зал | Книгохранилище | Библиотека Э. В. Денисова | 2-060915 (Browse shelf (Opens below)) | Available | Библиотека Э. В. Денисова | 13820001056228 | ||
1 неделя | Читальный зал 5 | 510 К493 (Browse shelf (Opens below)) | 1 | Ветхий | 13820000281975 | |||
Выдается в читальный зал | Книгохранилище | 1-149125 (Browse shelf (Opens below)) | 2 | Available | 13820000026774 | |||
1 месяц | Книгохранилище | 1-171206 (Browse shelf (Opens below)) | 3 | Available | 13820000026775 | |||
6 месяцев | Абонемент. Депозитарий | 51 К493 (Browse shelf (Opens below)) | 4 | Available | 13820000240165 | |||
6 месяцев | Абонемент. Депозитарий | 51 К493 (Browse shelf (Opens below)) | 5 | Available | 13820000240166 |
Библиогр.: с. 451-465
Авт. и предмет. указ.: с. 470-478
В кн.: также: Нормализация доказательств. Функциональная форма. Теорема Эрбрана для непредваренных формул/ Г.Е. Минц
There are no comments on this title.