Mostra i principali dati dell'item

Математическая логика

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


Files in questo item

Thumbnail
Name:
cead9e382a85f484bad4e1415a517f ...
Dimensione:
4.191Mb
Formato:
Sconosciuto
Mostra/Apri

Questo item appare nelle seguenti collezioni

Mostra i principali dati dell'item