Book
Введение в математическую логику= Introduction to Mathematical Logic
Record details
-
Physical Description:
print
320 стр. : с илл. - Publisher: Москва : Наука , 1971.
Content descriptions
| General Note: | Перевод с английского Ф.А. Кабакова. Под редакцией С.И. Адяна. |
| Formatted Contents Note: | От редактора перевода -- Предисловие -- Введение -- Исчисление высказываний -- Теории первого порядка -- Формальная арифметика -- Аксиоматическая терия множеств -- Эффективная вычисленность -- Доказательство непрочивности формальной арифметики -- Литертура -- Алфавитный указатель -- Символы и обозначения. |
Search for related items by subject
| Subject: | Логика Математическая логика |
Search for related items by series
Available copies
- 5 of 7 copies available at United Catalog.
Holds
- 0 current holds with 7 total copies.
Show Only Available Copies
| Location | Call Number / Copy Notes | Barcode | Shelving Location | Status | Due Date |
|---|---|---|---|---|---|
| Abonement | ს-130353 | 900000799852 | Stacks | In transit | - |
| Abonement | ს-130354 | 900000871225 | Stacks | Available | - |
| Abonement | ს-130355 | 900000872012 | Stacks | Checked out | 08/20/2023 |
| Abonement | 2-521223 | 900001021496 | Stacks | Available | - |
| Abonement | 2-530372 | 900001915909 | Stacks | Available | - |
| The Library of the Faculty of Exact and Natural Sciences (Reading Hall 1) | 510.6 | 900001461339 | Stacks | Available | - |
| The Library of the Faculty of Exact and Natural Sciences (Reading Hall 1) | 510.6 | 900001658982 | Stacks | Available | - |
