Mostra i principali dati dell'item
Формальный вывод и логические исчисления
dc.contributor.author | Смирнов В.А. | |
dc.date.accessioned | 2016-03-24T08:50:52Z | |
dc.date.available | 2016-03-24T08:50:52Z | |
dc.date.issued | 1972 | |
dc.identifier.isbn | ||
dc.identifier.issn | ||
dc.identifier.uri | http://libarch.nmu.org.ua/handle/GenofondUA/71682 | |
dc.description.abstract | ||
dc.language.iso | Russian | |
dc.publisher | Наука | |
dc.subject | ||
dc.subject | ||
dc.subject.ddc | ||
dc.subject.lcc | ||
dc.title | Формальный вывод и логические исчисления | |
dc.type | other | |
dc.identifier.aich | 3IWML7UAV2QMXLCOGKFWY4A2A2BXBUKP | |
dc.identifier.crc32 | 7B647770 | |
dc.identifier.doi | ||
dc.identifier.edonkey | 40E3EEE57EDCB679BB96A923D3CFA9D9 | |
dc.identifier.googlebookid | ||
dc.identifier.openlibraryid | ||
dc.identifier.udk | ||
dc.identifier.bbk | ||
dc.identifier.libgenid | 1412589 | |
dc.identifier.md5 | b9d833c423afd185dabae4ec945466d0 | |
dc.identifier.sha1 | R3KFVBLMDFIT4WM63HC274POGHTZKQWC | |
dc.identifier.tth | YVVFGYV25RZ6WP74RXHHJARGLN2GVHTPQU4XFWY |
Files in questo item
Questo item appare nelle seguenti collezioni
-
Libgen [81666]