Book
Элементы Математической Логики / Новиков П.С.
Record details
- Physical Description: 400с.
- Publisher: Москва: Физматгиз, 1959.
Content descriptions
| Formatted Contents Note: | Предисловие -- Введение -- Алгебра высказываний -- Исчисление высказываний -- Логика предикатов -- Исчисление предиктов -- Аксиоматическая арифметика -- Элементы теории доказательств. |
Search for related items by subject
| Subject: | Математика > Логика. |
Search for related items by series
Available copies
- 2 of 2 copies available at United Catalog.
Holds
- 0 current holds with 2 total copies.
Other Formats and Editions
Show Only Available Copies
| Location | Call Number / Copy Notes | Barcode | Shelving Location | Status | Due Date |
|---|---|---|---|---|---|
| Abonement | 2-530497 | 900001918637 | Stacks | Available | - |
| The Library of the Faculty of Exact and Natural Sciences (Reading Hall 2) | 517 | 900001455998 | Stacks | Available | - |
| LDR | 00620cam a2200205Ka 4500 | ||
|---|---|---|---|
| 001 | 171816 | ||
| 003 | GUL | ||
| 005 | 20170306114602.0 | ||
| 080 | 0 | . | ‡a517 ‡xН-73 |
| 100 | 1 | . | ‡aНовиков П.С. |
| 245 | 1 | 0. | ‡aЭлементы Математической Логики / ‡cНовиков П.С. |
| 260 | . | ‡aМосква: ‡bФизматгиз, ‡c1959. | |
| 300 | . | ‡a400с. | |
| 490 | 0 | . | ‡aМатематическая логика и основания математики. |
| 505 | . | ‡aПредисловие -- Введение -- Алгебра высказываний -- Исчисление высказываний -- Логика предикатов -- Исчисление предиктов -- Аксиоматическая арифметика -- Элементы теории доказательств. | |
| 650 | 2 | 4. | ‡aМатематика ‡xЛогика. |
| 700 | 1 | . | ‡aАдян С.И. ‡eРедактор. |
| 830 | 0. | ‡ ლერი მჭედლიშვილის კოლექცია, შემომწირველი ლ. გაფრინდაშვილი 900001918637 | |
| 901 | . | ‡a171816 ‡b ‡c171816 ‡tbiblio ‡sSystem Local | |
