000 | 00819cam a2200229 4500 | ||
---|---|---|---|
001 | 000462263 | ||
003 | AM-YeNLA | ||
005 | 20190426124200.0 | ||
008 | 690926s1969 |||||||||b||||100|0|eng|d | ||
040 |
_aDLC _cDLC _dDLC |
||
041 | 0 | _aeng | |
100 | 1 | _aTroelstra, Anne Sjerp | |
245 | 1 | 0 |
_aPrinciples of intuitionism / _cA. S. Troelstra. |
260 |
_aBerlin ; _aHeidelberg ; _aNew York : _bSpringer-Verlag, _c1969. |
||
300 |
_a111 p. _c28 cm. |
||
490 | 1 |
_aLecture notes in mathematics / Ed. by A. Dold, B. Eckmann _v95 |
|
504 | _aBibliogr.: p. 108-111. | ||
500 | _a"Lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, N.Y." | ||
650 | 0 | _aIntuitionistic mathematics | |
350 | _a10.00 | ||
830 | 0 |
_aLecture notes in mathematics (Springer-Verlag) ; _v95. |
|
999 |
_c396249 _d396249 |