| 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 | |
