00943nam a2200277 i 450099100359771970753620020509124835.0010514s1987 it ||| | ita 8815012567b11185211-39ule_instPARLA184815ExLDip.to Filosofiaita511Lolli, Gabriele48877La macchina e le dimostrazioni :matematica, logica e informatica /Gabriele LolliBologna :Il mulino,1987155 p. ;22 cm.Saggi [Il Mulino] ;311CalcoloLogica matematica.b1118521123-02-1728-06-02991003597719707536LE005IF LI C 91LE005IFA-2846le005-E0.00-l- 00000.i1133330328-06-02Macchina e le dimostrazioni79088UNISALENTOle00501-01-01ma -itait 31