Основания интуиционистской математики с точки зрения теории рекурсивных функций
Author(s)
Bibliographic Information
Основания интуиционистской математики с точки зрения теории рекурсивных функций
（Математическая логика и основания математики）
Изд-во "Наука", Грав. ред. физико-математической лит-ры, 1978
- Other Title
-
Osnovanii︠a︡ intuit︠s︡ionistskoĭ matematiki s tochki zrenii︠a︡ teorii rekursivnykh funkt︠s︡iĭ
The foundations of intuitionistic mathematics : especially in relation to recursive functions
Available at / 2 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
Translation of: The foundations of intuitionistic mathematics : especially in relation to recursive functions
Includes bibliographical references (p. [254]-266) and index