Item type | Current library | Collection | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
Books | Institute of Mathematics | General | 510.6 Д-72 (Browse shelf(Opens below)) | Available | MAT4457 |
Browsing Institute of Mathematics shelves, Collection: General Close shelf browser (Hides shelf browser)
510.6 Г-75 Прямая и обратная теоремы. Элементы алгебры логики. | 510.6 Д-25 Прикладной нестандартный анализ. | 510.6 Д-42 Теория топосов. | 510.6 Д-72 Математический интуиционизм. Введение в теорию доказательств. | 510.6 Е-80 Математическая логика. | 510.6 З-36 Симметрическая конструктивная логика. | 510.6 И-25 О математической логике и философии математики. (Начальные сведения об основаниях математики). |
There are no comments on this title.