Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view

Математическая логика Стефан Коул Клини; пер. с англ. Ю. А. Гастева; под ред. Г. Е. Минца

By: Клини, Стивен Коул, 1909-1994Material type: TextTextLanguage: 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:
В кн.: также: Нормализация доказательств. Функциональная форма. Теорема Эрбрана для непредваренных формул/ Г.Е. Минц
Tags from this library: No tags from this library for this title. Log in to add tags.
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.

to post a comment.