Основания интуиционистской математики с точки зрения теории рекурсивных функций
著者
書誌事項
Основания интуиционистской математики с точки зрения теории рекурсивных функций
（Математическая логика и основания математики）
Изд-во "Наука", Грав. ред. физико-математической лит-ры, 1978
- タイトル別名
-
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
大学図書館所蔵 件 / 全2件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
Translation of: The foundations of intuitionistic mathematics : especially in relation to recursive functions
Includes bibliographical references (p. [254]-266) and index