Scientific Library of Tomsk State University

   E-catalog        

Image from Google Jackets
Normal view MARC view

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

By: Клини, Стивен Коул, 1909-1994Material type: TextTextLanguage: Russian Original language: English Publication details: М. Мир 1973Description: 480 сSubject(s): математическая логикаOther classification: Ю4в016
Contents:
В кн.: также: Нормализация доказательств. Функциональная форма. Теорема Эрбрана для непредваренных формул/ Г.Е. Минц
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Call number Copy number Status Date due Barcode
1 неделя Научная библиотека ТГУ Читальный зал 5 510 К493 (Browse shelf(Opens below)) 1 Available 13820000281975
Выдается в читальный зал Научная библиотека ТГУ Книгохранилище 1-149125 (Browse shelf(Opens below)) 2 Available 13820000026774
6 месяцев Научная библиотека ТГУ Абонемент. Депозитарий 51 К493 (Browse shelf(Opens below)) 4 Available 13820000240165
6 месяцев Научная библиотека ТГУ Абонемент. Депозитарий 51 К493 (Browse shelf(Opens below)) 5 Available 13820000240166
1 месяц Научная библиотека ТГУ Книгохранилище 1-171206 (Browse shelf(Opens below)) 3 Available 13820000026775

Доп. тит. л.: Mathematical Logic. Stephen Cole Kleene

Библиогр.: с. 451-465.-Авт. и предмет. указ.: с. 470-478

В кн.: также: Нормализация доказательств. Функциональная форма. Теорема Эрбрана для непредваренных формул/ Г.Е. Минц

There are no comments on this title.

to post a comment.