01004nam a2200277 i 4500991001629159707536060516s2004 it a b 001 0 ita d8843029002 (pbk.)b13402195-39ule_instDip.to Matematicaeng511.3AMS 03-01Palladino, Dario45082Logica e teorie formalizzate :completezza, incompletezza, indecidibilità /Dario PalladinoRoma :Carocci,2004202 p. ;22 cmUniversità ;487Includes bibliography (p. 197-198) and indexLogicLogic, Symbolic and mathematical.b1340219502-04-1416-05-06991001629159707536LE013 03-XX PAL11 (2004)12013000202440le013pE25.80-n- 15050.i1425340919-06-06Logica e teorie formalizzate1039735UNISALENTOle01316-05-06ma -itait 00