Item type | Current library | Collection | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
Books | Institute of Mathematics | General | 510.6 Ф-36 (Browse shelf(Opens below)) | Available | MAT0648, 0649 |
Browsing Institute of Mathematics shelves, Collection: General Close shelf browser (Hides shelf browser)
510.6 С-50 Алиса в Стране Смекалки. | 510.6 Т-15 Теория доказательств. | 510.6 Т-21 Введение в логику и методологию дедуктивных наук. | 510.6 Ф-36 Модальная логика. | 510.6 Ф-86 Язык логики. | 510.6 Ч-43 Математическая логика и автоматическое доказательство теорем. (Мат. логика и основания математики) | 510.6 Ч-45 Введение в математическую логику. Ч. I. |
There are no comments on this title.