dc.contributor.author | Карри Х. Б. | |
dc.date.accessioned | 2016-02-22T04:02:02Z | |
dc.date.available | 2016-02-22T04:02:02Z | |
dc.date.issued | 1969 | |
dc.identifier.isbn | | |
dc.identifier.issn | | |
dc.identifier.uri | http://ir.nmu.org.ua/handle/GenofondUA/45507 | |
dc.description.abstract | Книга американского ученого посвящена детальному изучению основных понятий математической логики на современном этапе. Она содержит общую теорию формальных систем и исчислений. После детального обсуждения общеметодологических вопросов автор последовательно описывает исчисления, содержащие импликацию, отрицание и кванторы. Последняя глава знакомит читателя с некоторыми вопросами теории модальностей. Последовательный конструктивный подход характерен для всех доказательств и определений. Книга рассчитана на студентов, аспирантов и научных работников, специализирующихся в области математической логики, но она, безусловно, доступна всем, кто интересуется фундаментальными проблемами этого раздела математики. | |
dc.language.iso | Russian | |
dc.publisher | Мир | |
dc.subject | Математика\\Прикладная математика | |
dc.subject | Mathematics\\Applied Mathematicsematics | |
dc.subject.ddc | | |
dc.subject.lcc | | |
dc.title | Основания математической логики | |
dc.type | other | |
dc.identifier.aich | HK7SVMJEHGAMLJ3Z2LDBKXZ73B6XL4NI | |
dc.identifier.crc32 | 79A217DB | |
dc.identifier.doi | | |
dc.identifier.edonkey | 42076B8D0229B257B89EF81A3A884601 | |
dc.identifier.googlebookid | | |
dc.identifier.openlibraryid | | |
dc.identifier.udk | | |
dc.identifier.bbk | | |
dc.identifier.libgenid | 4593 | |
dc.identifier.md5 | 53AA4423CE579F2573755C54E037855D | |
dc.identifier.sha1 | YEZC2BA7T4HIUTBY7JSAH7HVUWIM2NM6 | |
dc.identifier.tth | GY7OFYUGURSMYTS6XZCR3VMNZKBTMNKUDXKXXUI | |