Теория формальных систем/ Р. Смальян; пер. Н. К. Косовский; ред. Н. А. Шанин
Material type: TextLanguage: Russian Series: Математияеская логика и основания математикиPublication details: Москва: Наука, 1981.Description: 207 сSubject(s):Item type | Current library | Call number | Status | Notes | Date due | Barcode |
---|---|---|---|---|---|---|
Books | Institute for Informatics and Automation Problems | 51.01:518.5 С 50 (Browse shelf(Opens below)) | Available | 30 Days Loan | IAP23282 |
Библиогр.: с. 202-204
There are no comments on this title.