-------------------- YOULIBR - Основания интуиционистской математики Клини С.К., Весли Р.Е. PDF 1978 BOOKS NATURAL SCIENCES osnovaniya-intuicionistskoy-matematiki
BOOKS - NATURAL SCIENCES - Основания интуиционистской математики...
Основания интуиционистской математики - Клини С.К., Весли Р.Е. 1978 PDF М. Наука, Физматлит BOOKS NATURAL SCIENCES
US $5.89

Views
538901
Основания интуиционистской математики
Author: Клини С.К., Весли Р.Е.
Year: 1978
Number of pages: 271
Format: PDF
File size: 12 MB
Language: RU

The book details the formalization of intuitionistic analysis belonging to Kleene and examines the interpretations of this formalism by means of the theory of recursive functions. On this basis, a number of interesting metamathematic results are established. One of the chapters is devoted to the presentation of the formal system of the Brower theory of the continuum developed in the book.

You may also be interested in: