Математическая логика: учебное пособие
- Палютин Евгений Андреевич
3 / 3 copies
Summary
В кнгие изложены основные классические исчисления математической логики; исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов.
Catalogue record
22.122 я 73
Ершов Юрий Леонидович
Математическая логика : учебное пособие / Палютин Евгений Андреевич. — Москва : Наука, 1987. — 336 с.
Ершов Юрий Леонидович. Математическая логика : учебное пособие / Палютин Евгений Андреевич. — Москва : Наука, 1987. — 336 с.
All fields
- Publisher
- Наука
- Place of publication
- Москва
- Year published
- 1987
- Extent
- 336 с
- Edition
- издание второе, исправленное и дополненное
- BBK / Call number
- 22.122 я 73
- GRNTI
- 27
- Document type
- 2
- Language
- Russian
Copies (3)
-
O'zMPU ARM 3 copies3 on the shelf
List of all copies
| Barcode | Call number | Status |
|---|---|---|
| CH0000001764 | 22.122 я 73 Е 804 | Available |
| CH0000001762 | 22.122 я 73 Е 804 | Available |
| CH0000001763 | 22.122 я 73 Е 804 | Available |
Reviews and ratings
Sign in and leave a review.
No reviews yet.