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 | - |
| LDR | 00620cam a2200205Ka 4500 | ||
|---|---|---|---|
| 001 | 88812 | ||
| 003 | GUL | ||
| 005 | 20180209103716.0 | ||
| 008 | 070101s1971 rus d | ||
| 035 | . | ‡a(LIBRARYS)88812 | |
| 080 | 0 | . | ‡a510.6 |
| 100 | 1 | . | ‡aМендельсон, Э. ‡q(Эллиот Мендельсон). |
| 245 | 1 | 0. | ‡aВведение в математическую логику= ‡bIntroduction to Mathematical Logic / ‡cЭ. Мендельсон; Редактор: В. В. Донченко. |
| 260 | . | ‡aМосква : ‡bНаука , ‡c1971. | |
| 300 | . | ‡a320 стр. : ‡bс илл. | |
| 500 | . | ‡aПеревод с английского Ф.А. Кабакова. | |
| 500 | . | ‡aПод редакцией С.И. Адяна. | |
| 505 | . | ‡aОт редактора перевода -- Предисловие -- Введение -- Исчисление высказываний -- Теории первого порядка -- Формальная арифметика -- Аксиоматическая терия множеств -- Эффективная вычисленность -- Доказательство непрочивности формальной арифметики -- Литертура -- Алфавитный указатель -- Символы и обозначения. | |
| 650 | 1 | 4. | ‡aЛогика ‡xМатематическая логика. |
| 700 | 1 | . | ‡aДонченко, В. В. , ‡eРедактор. |
| 830 | 0. | ‡ ლერი მჭედლიშვილის კოლექცია, შემომწირველი ლ. გაფრინდაშვილი 900001915909 | |
| 911 | . | ‡aზეინაბ ზოზიაშვილი. | |
| 901 | . | ‡a88812 ‡bAUTOGEN ‡c88812 ‡tbiblio ‡sSystem Local | |
