Математическая логика и автоматическое доказательство теорем : Пер. с англ. / Ч. Чень, Р. Ли ; Пер. Г.В. Давыдова и др.
Material type: TextLanguage: Russian Original language: English Series: Математическая логика и основания математикиPublication details: Москва : Наука. Гл. ред. физ.-мат. лит., 1983Description: 360 с. ; 22 смSubject(s): Математическая логикаItem type | Current library | Collection | Call number | Status | Notes | Date due | Barcode |
---|---|---|---|---|---|---|---|
Գրքեր/Books | Fundamental Scientific Library | General | PII/503376 (Browse shelf(Opens below)) | Available | 30 Days Loan | FL0228602 | |
Գրքեր/Books | Fundamental Scientific Library | General | PII/503377 (Browse shelf(Opens below)) | Available | 30 Days Loan | FL0228608 | |
Գրքեր/Books | Fundamental Scientific Library | General | PII/504675 (Browse shelf(Opens below)) | Available | 30 Days Loan | FL0226092 |
There are no comments on this title.