01030nam a2200241 i 450099100247784970753620020503165815.0930929s1993 it ||| | ita b10370420-39ule_instEXGIL104563ExLBiblioteca InterfacoltàitaMoriconi, Enrico467458Dimostrazioni e significato :Michael Dummett, Dag Prawitz, Per Martin-Lof /di Enrico MoriconiMilano :F. Angeli,[1993]132 p. ;22 cm.Pubblicazioni / Consiglio nazionale delle ricerche, Centro di studi sulla filosofia contemporanea presso l'Università di Genova ;33Dummett, Michael - Logica matematica.b1037042021-02-1727-06-02991002477849707536LE002 Fil. XI G 3012002000536822le002-E0.00-l- 00000.i1043369727-06-02Dimostrazioni e significato203547UNISALENTOle00201-01-93ma -itait 01