01247nam0 2200337 i 450 MIL028122620231121125543.08820493608IT96-3885 20131204d1995 ||||0itac50 baitaitz01i xxxe z01nFondamenti di logicaintroduzione alla teoria della dimostrazionedi Marco BorgaMilanoF. Angeli\1995!136 p.22 cmEpistemologia49In appendice: Un confronto fra calcolo delle sequenze e deduzione naturale, dello stesso A.001CFI00127532001 Epistemologia49LogicaFIRRMLC070749N153.43Processi mentali consci e intelligenza. Ragionamento.21Borga, MarcoCFIV04095607045080ITIT-0120131204IT-FR0017 Biblioteca umanistica Giorgio ApreaFR0017 MIL0281226Biblioteca umanistica Giorgio Aprea 52MAG 8/1123 52FSS0000074325 VMN RS A 2013120420131204 52Fondamenti di logica857188UNICAS