Item type | Current library | Collection | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
Books | Institute of Mathematics | General | 510.6 М-50 (Browse shelf(Opens below)) | Available | MAT0012, 0013 |
Browsing Institute of Mathematics shelves, Collection: General Close shelf browser (Hides shelf browser)
510.6 М-23 Доказуемое и недоказуемое. | 510.6 М-34 Математическая теория логического вывода. Сборник переводов.. | 510.6 М-34 Математическая логика и ее применения. Сборник статей. | 510.6 М-50 Введение в математическую логику. | 510.6 Н-73 Конструктивная математическая логика с точки зрения классической. | 510.6 П-91 Некоторые вопросы теории обозначений. | 510.6 Р-58 Введение в теорию моделей и метаматематику алгебры. |
There are no comments on this title.