LEADER 01450nam 2200385 450 001 000015707 005 20050718115600.0 010 $a0-521-31802-5 100 $a20030731d1988----km-y0itay0103----ba 101 0 $aeng 102 $aGB 200 1 $aVarieties of constructive mathematics$fDouglas Bridges, Fred Richman 210 $aCambridge [etc.]$cCambridge University Press$d1988 215 $aX, 149 p.$cill.$d23 cm. 225 2 $aLondon Mathematical Society Lecture Note Series$v97 410 0$12001$aLondon Mathematical Society Lecture Note Series 606 $aLogica matematica 676 $a511.3$v(21. ed.)$9Logica matematica (Logica simbolica) 691 $a03Fxx$9Mathematical logic and foundations. Proof theory and constructive mathematics 700 1$aBridges,$bDouglas$0441862 701 1$aRichman,$bFred$048605 801 0$aIT$bUniversità della Basilicata - B.I.A.$gRICA$2unimarc 912 $a000015707 996 $aVarieties of constructive mathematics$982571 997 $aUNIBAS BAS $aMONSCI BAS $aSCIENZE CAT $aEXT002$b01$c20030731$lBAS01$h1748 CAT $c20050601$lBAS01$h1755 CAT $abatch$b01$c20050718$lBAS01$h1052 CAT $c20050718$lBAS01$h1111 CAT $c20050718$lBAS01$h1142 CAT $c20050718$lBAS01$h1156 FMT Z30 -1$lBAS01$LBAS01$mBOOK$1BASA2$APolo Tecnico-Scientifico$2GEN$BCollezione generale$3MAT$665052$5S65052$820030731$f51$FRiservati LEADER 01445oas 22005653a 450 001 9910389177403321 005 20250922213015.0 011 $a1542-8443 035 $a(OCoLC)51198335 035 $a(CONSER) 2002214969 035 $a(CKB)110978966549386 035 $a(EXLCZ)99110978966549386 100 $a20021210a19uu9999 sy a 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aPacific shipper online 210 $aEast Windsor, NJ $cCommonwealth Business Media 311 08$a0030-8900 517 3 $aPacific shipper 531 0 $aPac. shipp. online 606 $aTransportation$zPacific Area$vPeriodicals 606 $aShipping$zPacific Area$vPeriodicals 606 $aShipping$2fast$3(OCoLC)fst01116352 606 $aTransportation$2fast$3(OCoLC)fst01155007 607 $aPacific Area$2fast 608 $aPeriodicals.$2fast 615 0$aTransportation 615 0$aShipping 615 7$aShipping. 615 7$aTransportation. 676 $a387 801 0$bNSD 801 1$bNSD 801 2$bOCLCQ 801 2$bVT2 801 2$bOCLCO 801 2$bOCLCF 801 2$bOCLCO 801 2$bOCLCQ 801 2$bUAB 801 2$bOCLCL 801 2$bOCLCQ 801 2$bDLC 906 $aJOURNAL 912 $a9910389177403321 996 $aPacific shipper online$92236661 997 $aUNINA