LEADER 01767nam0 2200349 i 450 
001 SUN0053445
005 20180604114638.321
010   $a978-05-213-1802-0$d0.00
100   $a20060927d1987       |0engc50      ba
101   $aeng
102   $aGB
105   $a||||    |||||
200 1 $a*Varieties of constructive mathematics$fDouglas Bridges, Fred Richman
210   $aCambridge$cCambridge university$d1987
215   $aX, 149 p.$d23 cm.
410  1$1001SUN0029528$12001 $a*London Mathematical Society lecture notes series$v97$1210  $aCambridge$cCambridge university.
606   $a03-XX$xMathematical logic and foundations [MSC 2020]$2MF$3SUNC019750
606   $a03F50$xMetamathematics of constructive systems [MSC 2020]$2MF$3SUNC019808
606   $a03F65$xOther constructive mathematics [MSC 2020]$2MF$3SUNC024382
606   $a03Fxx$xProof theory and constructive mathematics [MSC 2020]$2MF$3SUNC024383
620   $dCambridge$3SUNL000024
700  1$aBridges$b, Douglas S.$3SUNV042155$051513
701  1$aRichman$b, Fred$3SUNV042159$048605
712   $aCambridge university$3SUNV000097$4650
790  1$aBridges, Douglas$zBridges, Douglas S.$3SUNV042157
790  1$aBridges, D. S.$zBridges, Douglas S.$3SUNV042158
801   $aIT$bSOL$c20201005$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
912   $aSUN0053445
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   0552        $e08   1977      I       20060927            
996   $aVarieties of constructive mathematics$91427005
997   $aUNICAMPANIA