Zur Kurzanzeige

dc.contributor.authorСмальян Р. (Смаллиан Р.)
dc.date.accessioned2016-02-22T04:43:00Z
dc.date.available2016-02-22T04:43:00Z
dc.date.issued1981
dc.identifier.isbn
dc.identifier.issn
dc.identifier.urihttp://ir.nmu.org.ua/handle/GenofondUA/46236
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.aichTOW62N5ZAS4CLLMZK6LKCQB2AV7DVYSG
dc.identifier.crc32224D112B
dc.identifier.doi
dc.identifier.edonkey3BD93C46824CA85D641970C6A9F540A8
dc.identifier.googlebookid
dc.identifier.openlibraryid
dc.identifier.udk
dc.identifier.bbk
dc.identifier.libgenid4658
dc.identifier.md55739EB5445AAFA4E5A797512FCBA1202
dc.identifier.sha1GELW4XEHJDE7L2FMDZY7D2OM7NUWPAXO
dc.identifier.tthTWOCBJLDMVX26IEOKYDLHITTMNTFMDFSV5LPEIA


Dateien zu dieser Ressource

Thumbnail

Das Dokument erscheint in:

Zur Kurzanzeige