000 | 01321n a2200349#a 4500 | ||
---|---|---|---|
001 | 19422 | ||
003 | P5A | ||
005 | 20231128144707.0 | ||
008 | 880224s1988 ne a b 001 0 eng|| | ||
010 | _a88005240 //r89 | ||
020 | _a0444702660 (v. 1) | ||
020 | _z0444703586 (v. 2) | ||
035 | _aocm17621906 | ||
040 |
_aDLC _cDLC _dUBA |
||
049 | _aP5AA | ||
082 | 0 | 0 |
_a511.3 _bT843c |
090 | _alf4 | ||
100 | 1 |
_aTroelstra, A. S. _q(Anne Sjerp) _944545 |
|
245 | 1 | 0 |
_aConstructivism in mathematics: _ban introduction/ _cA.S. Troelstra, D. van Dalen. |
260 |
_aAmsterdam; _aNew York: _bNorth-Holland, _aNew York: _bSole distributors for the U.S.A. and Canada, Elsevier Science, _c1988. |
||
300 |
_a2 v. (xx, 879, lii p.): _bill.; _c23 cm. |
||
490 | 1 |
_aStudies in logic and the foundations of mathematics; _vv. 121; 123. |
|
504 | _aIncludes bibliographies and indexes. | ||
650 | 0 | 7 |
_aConstructive mathematics. _937438 |
650 | 0 | 7 |
_aLogica Matematica. _2larpcal _920332 |
650 | 0 | 4 |
_aTeoria Dos Conjuntos (Textos Introdutorios) _2larpcal _922097 |
697 |
_aLógica e Fundamentos 04- _x"Studies in Logic" _923801 |
||
700 | 1 |
_aDalen, D. van _q(Dirk), _d1932- _945909 |
|
830 | 0 |
_aStudies in logic and the foundations of mathematics; _vv. 121. _944413 |
|
942 |
_2impa _cBK |
||
999 |
_c19695 _d19695 |