Book
Введение в математическую логику= Introduction to Mathematical Logic / Э. Мендельсон; Редактор: В. В. Донченко.
Record details
- Physical Description: 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 | - |
