Математическая теория логического вывода / Сборник пер. под. ред. А.В. Идельсона и Г.Е. Минца.
Material type: TextSeries: Математическая теория и основания математикиPublication details: Москва : Наука, 1967.Description: 351сSubject(s):Item type | Current library | Call number | Status | Notes | Date due | Barcode |
---|---|---|---|---|---|---|
Books | Institute for Informatics and Automation Problems | 51.01:16 M 34 (Browse shelf(Opens below)) | Available | 30 Days Loan | IAP23444 |
Библиогр. 13 назв.
There are no comments on this title.