00977nam0-22003491i-450-99000796800040332120091106154313.088-430-2900-2000796800FED01000796800(Aleph)000796800FED0100079680020041207d2004----km-y0itay50------baitaITa---a---001yyLogiche e teorie formalizzatecompletezza, incompletezza, indecidibilitàDario PalladinoRomaCaroccic2004202 p.ill.24 cmUniversitàFilosofia487InformaticaLogica matematicaLogica del secondo ordine004Palladino,Dario45082ITUNINARICAUNIMARCBK990007968000403321004-PAL-23717SC1SC1Logiche e teorie formalizzate747457UNINA