000			02223nam a22004455i 4500
001			978-3-540-36130-5
003			DE-He213
005			20190213151220.0
007			cr nn 008mamaa
008			121227s1969 gw | s |||| 0|eng d
020			_a9783540361305 _9978-3-540-36130-5
024	7		_a10.1007/BFb0080643 _2doi
050		4	_aQA1-939
072		7	_aPB _2bicssc
072		7	_aMAT000000 _2bisacsh
072		7	_aPB _2thema
082	0	4	_a510 _223
100	1		_aTroelstra, A. S. _eauthor. _4aut _4http://id.loc.gov/vocabulary/relators/aut
245	1	0	_aPrinciples of Intuitionism _h[electronic resource] : _bLectures presented at the summer conference on Intuitionism and Proof theory (1968) at SUNY at Buffalo, N.Y. / _cby A. S. Troelstra.
264		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c1969.
300			_aIV, 116 p. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	1		_aLecture Notes in Mathematics, _x0075-8434 ; _v95
505	0		_aLogic -- 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.
650		0	_aMathematics.
650	1	4	_aMathematics, general. _0http://scigraph.springernature.com/things/product-market-codes/M00009
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
776	0	8	_iPrinted edition: _z9783662187692
776	0	8	_iPrinted edition: _z9783540046141
830		0	_aLecture Notes in Mathematics, _x0075-8434 ; _v95
856	4	0	_uhttps://doi.org/10.1007/BFb0080643
912			_aZDB-2-SMA
912			_aZDB-2-LNM
912			_aZDB-2-BAE
999			_c9907 _d9907