Основания интуиционистской математики с точки зрения теории рекурсивных функций/ С. Клини, Р. Весли; Пер. с англ. Ф. А. Кабакова, Б. А. Кушнера
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- The Foundations of Intuitonistic Mathematics Especially in Relation to Recursive Functions [Cover title]
- 517.11
Item type | Current library | Collection | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
![]() |
Institute of Geophysics and Engineering Seismology | General | 517.11/K49 (Browse shelf(Opens below)) | Available | GES11544 |
Библиогр: с. 254-266
There are no comments on this title.