Mostrar el registro sencillo del ítem
Математическая логика
dc.contributor.author | Ершов Ю.Л., Палютин Е.А. | |
dc.date.accessioned | 2016-03-23T20:26:51Z | |
dc.date.available | 2016-03-23T20:26:51Z | |
dc.date.issued | 1987 | |
dc.identifier.isbn | ||
dc.identifier.issn | ||
dc.identifier.uri | http://libarch.nmu.org.ua/handle/GenofondUA/64858 | |
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 | IKQ3YPWZGIOITLVYFWCDTFBB67S6JQ6A | |
dc.identifier.crc32 | DC46C3AD | |
dc.identifier.doi | ||
dc.identifier.edonkey | 96CFCF83940830CDB3DA2DAB689E2B7D | |
dc.identifier.googlebookid | ||
dc.identifier.openlibraryid | ||
dc.identifier.udk | ||
dc.identifier.bbk | ||
dc.identifier.libgenid | 4586 | |
dc.identifier.md5 | CEAD9E382A85F484BAD4E1415A517F55 | |
dc.identifier.sha1 | VJ2ZQE366AGHHH3BI23VTLQ5TZPDHUNL | |
dc.identifier.tth | ASUDUNPYOR6LBZCBSVT5F6VMR4KRTT7WSNNPD2Y |
Ficheros en el ítem
Este ítem aparece en la(s) siguiente(s) colección(ones)
-
Libgen [81666]