00923nam0-2200337---450-99001009194040332120160720102849.0978-156881175-8001009194FED01001009194(Aleph)001009194FED0100100919420160720d2004----km-y0itay50------baengUS--------001yyInexhaustibilitya non-exhaustive treatmentTorkel FranzenBoca Raton (Fl.)CRC Press@2004xii, 251 p.23 cmLecture notes in Logic16Logica matematicaLogica simbolicaTeorema di incompletezza511.321itaFranzen,TorkelITUNINARICAUNIMARCBK990010091940403321511.3-FRA-1Int. 2016/83SC1SC1UNINA