Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view

Введение в метаматематику Стефен К. Клини; Пер. с англ. А. С. Есенина-Вольпина; Под ред. В. А. Успенского

By: Клини, Стивен Коул, 1909-1994Material type: TextTextLanguage: Russian Original language: English Publication details: М. Издательство иностранной литературы 1957Description: 526, [2] сOther title: Introduction to metamathematics [Parallel title]Subject(s): математическая логика | теория множеств | исчисление высказываний | исчисление предикатов | формальная арифметика | рекурсивные функции | непротиворечивость | Тьюринга машины
Tags from this library: No tags from this library for this title. Log in to add tags.
Item type Current library Call number Copy number Status Date due Barcode
Выдается в читальный зал Книгохранилище-11 595145к (Browse shelf (Opens below)) Available 13820000657191
1 месяц Книгохранилище 1-897735 510 (Browse shelf (Opens below)) 1 Available 13820000391304

Библиогр.: с. 493-509

There are no comments on this title.

to post a comment.