Показати скорочений опис матеріалу

dc.contributor.authorЕршов Ю.Л., Палютин Е.А.
dc.date.accessioned2016-03-23T20:26:51Z
dc.date.available2016-03-23T20:26:51Z
dc.date.issued1987
dc.identifier.isbn
dc.identifier.issn
dc.identifier.urihttp://libarch.nmu.org.ua/handle/GenofondUA/64858
dc.description.abstractВ книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей вузов. Может служить пособием для спецкурсов.
dc.language.isoRussian
dc.publisherНаука
dc.subjectМатематика\\Математическая логика
dc.subjectMathematics\\Logic
dc.subject.ddc
dc.subject.lcc
dc.titleМатематическая логика
dc.typeother
dc.identifier.aichIKQ3YPWZGIOITLVYFWCDTFBB67S6JQ6A
dc.identifier.crc32DC46C3AD
dc.identifier.doi
dc.identifier.edonkey96CFCF83940830CDB3DA2DAB689E2B7D
dc.identifier.googlebookid
dc.identifier.openlibraryid
dc.identifier.udk
dc.identifier.bbk
dc.identifier.libgenid4586
dc.identifier.md5CEAD9E382A85F484BAD4E1415A517F55
dc.identifier.sha1VJ2ZQE366AGHHH3BI23VTLQ5TZPDHUNL
dc.identifier.tthASUDUNPYOR6LBZCBSVT5F6VMR4KRTT7WSNNPD2Y


Долучені файли

Thumbnail

Даний матеріал зустрічається у наступних фондах

Показати скорочений опис матеріалу