01133nam0 2200277 i 450 SUN004496920180925031155.477978-88-339-5656-50.0020060515d2001 |0itac50 baitaIT|||| |||||Logica matematicastrutture, rappresentazioni, deduzioniVincenzo Mancacon un saggio di Gregory ChaitinTorinoBollati Boringhieri2001200 p.22 cm.001SUN00449412001 Nuova didattica. Scienze210 TorinoBollati Boringhieri.03-XXMathematical logic and foundations [MSC 2020]MFSUNC019750TorinoSUNL000001Manca, VincenzoSUNV03627567566Chaitin, Gregory J.SUNV043735Bollati BoringhieriSUNV000104650ITSOL20200720RICASUN0044969UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 2591 08VS 4561 I 20060515 Logica matematica376855UNICAMPANIA