Normal view
MARC view
Введение в математическую логику Т. 1 [монография] А. Чёрч ; пер. с англ. В. С. Чернявского ; под ред. и с предисл. В. А. Успенского
Material type: TextLanguage: Russian Original language: English Series: Publication details: Москва ЛИБРОКОМ 2009Edition: Изд. 2-еDescription: 480 сISBN: 9785397004688Other title: Introduction to mathematical Logic [Parallel title]Subject(s): математическая логика | пропозициональные исчисления | функциональные исчисления первого порядка | функциональные исчисления второго порядка | формальная логика | константы | суждения | пропозициональные функции | несобственные символы | операторы | кванторы | логистический метод | непротиворечивость (математическая логика)Other classification: В12,0Item type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
Выдается в читальный зал | Научная библиотека ТГУ Книгохранилище | 1-988401к (Browse shelf(Opens below)) | Available | 13820000724266 | ||
1 неделя | Научная библиотека ТГУ Читальный зал 5 | 510 Ч-508 (Browse shelf(Opens below)) | Available | 13820000724267 |
There are no comments on this title.
Log in to your account to post a comment.