00990cam0-22003491i-450-99000150601040332120030610123015.088-339-5656-3IT2002-3345000150601FED01000150601(Aleph)000150601FED0100015060120030610d2001----km-y0itay50------baitaITa---a---001yyLogica matematicastrutture, rappresentazioni, deduzioniVincenzo Mancacon un saggio di Gregory ChaitinTorinoBollati Boringhieri2001200 p.22 cmNuova didatticaScienzeLogica matematica511.321Manca,Vincenzo67566Chaitin,GregoryITUNINARICAUNIMARCBK99000150601040332113 H 21 0513113FINBCFINBCLogica matematica376855UNINA