| dc.contributor.author | Таванец П.В. (ред.) | |
| dc.date.accessioned | 2016-03-24T14:35:40Z | |
| dc.date.available | 2016-03-24T14:35:40Z | |
| dc.date.issued | 1963 | |
| dc.identifier.isbn | | |
| dc.identifier.issn | | |
| dc.identifier.uri | http://libarch.nmu.org.ua/handle/GenofondUA/78849 | |
| dc.description.abstract | Книга представляет собой сборник статей, посвященных проблемам математической логики. Содержание: С. А. Яновская. О философских вопросах математической логики. В. В. Донченко. Некоторые вопросы, связанные с проблемой разрешения для исчисления строгой импликации Аккермана. Н. И. Стяжкин, Б. Р. Певзнер. Об одном методе спецреферирования. А. А. Зиновьев. Обобщение силлогистики. В. А. Смирнов. Замечания по поводу системы силлогистики и общей теории дедукции. В. А. Смирнов. Алгоритмы и логические схемы алгоритмов. В. А. Козмидиади. О множествах, разрешимых и перечислимых автоматами. С. А. Яновская. Преодолены ли в современной науке трудности, известные под названием ''апории Зенона''? Ю. А. Гастев. О построении анализа на основе аксиоматизированной геометрии прямой. Ю. А. Магинскас. Об одном подходе к анализу причинности. | |
| dc.language.iso | Russian | |
| dc.publisher | Изд-во АН СССР | |
| dc.subject | Математика\\Математическая логика | |
| dc.subject | Mathematics\\Logic | |
| dc.subject.ddc | | |
| dc.subject.lcc | | |
| dc.title | Проблемы логики | |
| dc.type | other | |
| dc.identifier.aich | P5EF5UQUY2IOAPCHUW7FV6BAYDLQLYVH | |
| dc.identifier.crc32 | 306188F5 | |
| dc.identifier.doi | | |
| dc.identifier.edonkey | EBF601FF967DFDC2415F0D117EA6885A | |
| dc.identifier.googlebookid | | |
| dc.identifier.openlibraryid | | |
| dc.identifier.udk | | |
| dc.identifier.bbk | | |
| dc.identifier.libgenid | 1251939 | |
| dc.identifier.md5 | ed0f94e2a4f9bea3690096daac855027 | |
| dc.identifier.sha1 | OT4JOM32BFNMCT5TL36PVDYLH22X72GM | |
| dc.identifier.tth | GYZ5K53OTPOAUVJY5BMAK7JAR6EOORUAR276FNY | |
