Основания интуиционистской математики с точки зрения теории рекурсивных функций

CiNii Available at 2 libraries

Bibliographic Information

Title
"Основания интуиционистской математики с точки зрения теории рекурсивных функций"
Statement of Responsibility
С. Клини, Р. Весли ; перевод с английского Ф.А. Кабакова и Б.А. Кушнера
Publisher
  • Изд-во "Наука", Грав. ред. физико-математической лит-ры
Publication Year
  • 1978
Book size
21 cm
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

Search this Book/Journal

Notes

Translation of: The foundations of intuitionistic mathematics : especially in relation to recursive functions

Includes bibliographical references (p. [254]-266) and index

Related Books

See more

Details 詳細情報について

Back to top