LEADER 01838nam0 2200361 i 450 
001 VAN0053445
005 20240129122716.697
010   $a978-05-213-1802-0
100   $a20060927d1987       |0itac50      ba
101   $aeng
102   $aGB
105   $a||||    |||||
200 1 $aVarieties of constructive mathematics$fDouglas Bridges, Fred Richman
210   $aCambridge$cCambridge university$d1987
215   $aX, 149 p.$d23 cm
410  1$1001VAN0029528$12001 $aLondon Mathematical Society lecture notes series$1210  $aCambridge$cCambridge university.$v97
606   $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF
606   $a03F50$xMetamathematics of constructive systems [MSC 2020]$3VANC019808$2MF
606   $a03F65$xOther constructive mathematics [MSC 2020]$3VANC024382$2MF
606   $a03Fxx$xProof theory and constructive mathematics [MSC 2020]$3VANC024383$2MF
620   $dCambridge$3VANL000024
700  1$aBridges$bDouglas S.$3VANV042155$051513
701  1$aRichman$bFred$3VANV042159$048605
712   $aCambridge university <editore>$3VANV107986$4650
790  1$aBridges, Douglas$zBridges, Douglas S.$3VANV042157
790  1$aBridges, D. S.$zBridges, Douglas S.$3VANV042158
801   $aIT$bSOL$c20240202$gRICA
856 4 $uhttps://books.google.it/books?id=oN5nsPkXhhsC&printsec=frontcover&dq=Varieties+of+Constructive+Mathematics&hl=it&sa=X&ved=0ahUKEwif5K_b3LnbAhUIPFAKHRXwCUIQ6AEIJzAA#v=onepage&q&f=false$zPreview
899   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08
912   $aVAN0053445
950   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   0552        $e08   1977      I       20060927            
996   $aVarieties of constructive mathematics$91427005
997   $aUNICAMPANIA