01838nam0 2200361 i 450 VAN005344520240129122716.697978-05-213-1802-020060927d1987 |0itac50 baengGB|||| |||||Varieties of constructive mathematicsDouglas Bridges, Fred RichmanCambridgeCambridge university1987X, 149 p.23 cm001VAN00295282001 London Mathematical Society lecture notes series210 CambridgeCambridge university.9703-XXMathematical logic and foundations [MSC 2020]VANC019750MF03F50Metamathematics of constructive systems [MSC 2020]VANC019808MF03F65Other constructive mathematics [MSC 2020]VANC024382MF03FxxProof theory and constructive mathematics [MSC 2020]VANC024383MFCambridgeVANL000024BridgesDouglas S.VANV04215551513RichmanFredVANV04215948605Cambridge university <editore>VANV107986650Bridges, DouglasBridges, Douglas S.VANV042157Bridges, D. S.Bridges, Douglas S.VANV042158ITSOL20240202RICAhttps://books.google.it/books?id=oN5nsPkXhhsC&printsec=frontcover&dq=Varieties+of+Constructive+Mathematics&hl=it&sa=X&ved=0ahUKEwif5K_b3LnbAhUIPFAKHRXwCUIQ6AEIJzAA#v=onepage&q&f=falsePreviewBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN0053445BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0552 08 1977 I 20060927 Varieties of constructive mathematics1427005UNICAMPANIA