LIBERO WebOPAC Catalogue Display (W561)

Catalogue Information
Field name	Details
Dewey Class	510
Title	Principles of Intuitionism ([EBook]) : Lectures presented at the summer conference on Intuitionism and Proof theory (1968) at SUNY at Buffalo, N.Y. / by A. S. Troelstra.
Author	Troelstra, A. S.(Anne Sjerp)
Other name(s)	SpringerLink (Online service)
Publication	Berlin, Heidelberg : Springer , 1969.
Physical Details	IV, 116 pages : online resource.
Series	Lecture Notes in Mathematics 0075-8434 ; ; 95
ISBN	9783540361305
Contents 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.
System details note	Online access to this digital book is restricted to subscription institutions through IP address (only for SISSA internal users)
Internet Site	http://dx.doi.org/10.1007/BFb0080643
Links to Related Works	Subject References: Mathematics . Mathematics, general . Authors: Troelstra, A. S.(Anne Sjerp) . Troelstra, A. S.(Anne Sjerp) . Corporate Authors: SpringerLink (Online service) . Series: Lecture Notes in Mathematics . Classification: 510 .

Catalogue Display