| 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 |
||