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

dc.contributor.authorКрайзель Г.
dc.date.accessioned2016-02-21T14:44:30Z
dc.date.available2016-02-21T14:44:30Z
dc.date.issued1983
dc.identifier.isbn
dc.identifier.issn
dc.identifier.urihttp://ir.nmu.org.ua/handle/GenofondUA/30501
dc.description.abstractСборник работ крупного американского специалиста по математической логике и основаниям математики. В нем дается обзор основных результатов математической теории доказательств и ее методов. Уделяется место происхождению методов теории доказательств и обоснованию интереса к рассматриваемой проблематике. В частности, описываются приложения к реальному синтезу программ для вычислительных машин. Сборник представляет интерес как для читателей с минимальной подготовкой в области математической логики, так и для специалистов, которые могут ознакомиться с доказательствами новых глубоких результатов.
dc.language.isoRussian
dc.publisherМир
dc.subject
dc.subject
dc.subject.ddc
dc.subject.lcc
dc.titleИсследования по теории доказательств
dc.typeother
dc.identifier.aichZ4KFQAMRYQHOJCWFSE7Z3WAX3FIA7CRG
dc.identifier.crc324D28E1D1
dc.identifier.doi
dc.identifier.edonkey03750EBEB0805CA41C66B3E2749345F7
dc.identifier.googlebookid
dc.identifier.openlibraryid
dc.identifier.udk
dc.identifier.bbk
dc.identifier.libgenid4607
dc.identifier.md50E3879A660EAEEE33F62B5643E633101
dc.identifier.sha1G5XFQQ2DTGWFUXMGOLI5WYSVAG6XBFNU
dc.identifier.tthUVISPEUH57PFXSMZY2UHIFMTOU4JGVCHE23BX2A


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

Thumbnail

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

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