Показать сокращенную информацию
Математическая логика
dc.contributor.author | Ершов Ю.Л., Палютин Е.А. | |
dc.date.accessioned | 2016-02-21T13:24:27Z | |
dc.date.available | 2016-02-21T13:24:27Z | |
dc.date.issued | 1987 | |
dc.identifier.isbn | ||
dc.identifier.issn | ||
dc.identifier.uri | http://ir.nmu.org.ua/handle/GenofondUA/28865 | |
dc.description.abstract | В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей вузов. Может служить пособием для спецкурсов. | |
dc.language.iso | Russian | |
dc.publisher | Наука | |
dc.subject | Математика\\Математическая логика | |
dc.subject | Mathematics\\Logic | |
dc.subject.ddc | ||
dc.subject.lcc | ||
dc.title | Математическая логика | |
dc.type | other | |
dc.identifier.aich | MLXVEXLFXTEEMJ3DSVE7CSAL43AZ5ANP | |
dc.identifier.crc32 | A8ADBB94 | |
dc.identifier.doi | ||
dc.identifier.edonkey | D1E8FB7BE58ABD870B4C63B7E7DADE23 | |
dc.identifier.googlebookid | ||
dc.identifier.openlibraryid | ||
dc.identifier.udk | ||
dc.identifier.bbk | ||
dc.identifier.libgenid | 120165 | |
dc.identifier.md5 | 03D2B8E57DA6CA6C56D7EAA1A00AFB33 | |
dc.identifier.sha1 | YVZXHBKTVJ6OGSGAGX37UOMYG6SH367E | |
dc.identifier.tth | J5CYEJXOBNXF4JNGO5SMKVDJQCEAGOVOGO7QOOI |
Файлы в этом документе
Данный элемент включен в следующие коллекции
-
Libgen [81666]