UID:
edoccha_9959185505002883
Format:
1 online resource (IV, 116 p.)
Edition:
1st ed. 1969.
Edition:
Online edition Springer Lecture Notes Archive ; 041142-5
ISBN:
3-540-36130-8
Series Statement:
Lecture Notes in Mathematics, 95
Note:
Bibliographic Level Mode of Issuance: Monograph
,
Logic -- Elementary arithmetic -- Species -- Sequences and constructive (lawlike) objects -- Elementary theory of real numbers -- Ordering relations and order on the real line -- Constructive or lawlike analysis -- Lawless sequences of natural numbers -- Choice sequences -- Spreads and a theory of real numbers -- Topology; separable metric spaces -- Applications of the continuity principles and the fan theorem -- Well-orderings and ordinals -- Species revisited; the role of the comprehension principle -- Brouwer's theory of the creative subject.
,
English
In:
Springer eBooks
Additional Edition:
ISBN 3-540-04614-3
Language:
English
URL:
http://dx.doi.org/10.1007/BFb0080643