01767nam0 2200349 i 450 SUN005344520180604114638.321978-05-213-1802-00.0020060927d1987 |0engc50 baengGB|||| |||||*Varieties of constructive mathematicsDouglas Bridges, Fred RichmanCambridgeCambridge university1987X, 149 p.23 cm.001SUN00295282001 *London Mathematical Society lecture notes series97210 CambridgeCambridge university.03-XXMathematical logic and foundations [MSC 2020]MFSUNC01975003F50Metamathematics of constructive systems [MSC 2020]MFSUNC01980803F65Other constructive mathematics [MSC 2020]MFSUNC02438203FxxProof theory and constructive mathematics [MSC 2020]MFSUNC024383CambridgeSUNL000024Bridges, Douglas S.SUNV04215551513Richman, FredSUNV04215948605Cambridge universitySUNV000097650Bridges, DouglasBridges, Douglas S.SUNV042157Bridges, D. S.Bridges, Douglas S.SUNV042158ITSOL20201005RICAhttps://books.google.it/books?id=oN5nsPkXhhsC&printsec=frontcover&dq=Varieties+of+Constructive+Mathematics&hl=it&sa=X&ved=0ahUKEwif5K_b3LnbAhUIPFAKHRXwCUIQ6AEIJzAA#v=onepage&q&f=falsePreviewSUN0053445UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0552 08 1977 I 20060927 Varieties of constructive mathematics1427005UNICAMPANIA