UID:
almahu_9947921339202882
Format:
IV, 116 p.
,
online resource.
ISBN:
9783540361305
Series Statement:
Lecture Notes in Mathematics, 95
Note:
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.
In:
Springer eBooks
Additional Edition:
Printed edition: ISBN 9783540046141
Language:
English
URL:
http://dx.doi.org/10.1007/BFb0080643