LEADER 01126cam0-22003731i-450- 001 990001034810403321 005 20050428114201.0 010 $a0-387-12173-0 010 $a3-540-12173-0 035 $a000103481 035 $aFED01000103481 035 $a(Aleph)000103481FED01 035 $a000103481 100 $a20001205d1985----km-y0itay50------ba 101 0 $aeng 102 $aDE$aUS 105 $ay-------001yy 200 1 $aFoundations of constructive mathematics$emetamathematical studies$fMichael J. Beeson 210 $aBerlin$cHeidelberg$aNew York$cSpringer$d1985 215 $aXXIII, 466 p.$d25 cm 225 1 $aErgebnisse der Mathematik und ihrer Grenzgebiete$hFolge 3$v6 610 0 $aFondamenti della logica matematica e probabilità 676 $a519 700 1$aBeeson,$bMichael J.$049310 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990001034810403321 952 $a4A-154$b15091$fFI1 952 $aC-31-(3F-6$b1127$fMA1 952 $a113-A-2$b1320$fMA1 959 $aFI1 959 $aMA1 996 $aFoundations of constructive mathematics$982681 997 $aUNINA