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