01554nam0 2200313 i 450 SUN005308620180918104421.784978-05-214-8325-40.0020060922d1995 |0engc50 baengGB|||| |||||The *logic of provabilityGeorge BoolosCambridgeCambridge university1995XXXVI, 275 p.ill.24 cm.03-XXMathematical logic and foundations [MSC 2020]MFSUNC01975003F30First-order arithmetic and fragments [MSC 2020]MFSUNC02440103F40Gödel numberings and issues of incompleteness [MSC 2020]MFSUNC02440303B45Modal logic (including the logic of norms) [MSC 2020]MFSUNC024404CambridgeSUNL000024Boolos, GeorgeSUNV04187745067Cambridge universitySUNV000097650ITSOL20200727RICAhttps://books.google.it/books?id=WekaT3OLoUcC&pg=PR3&dq=The+Logic+of+Provability&hl=it&source=gbs_selected_pages&cad=2#v=onepage&q&f=falsePreviewSUN0053086UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0498 08VS 4358 I b 20060922 UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0498 08 5773 I a 20060922 Logic of provability1427312UNICAMPANIA00966nam a2200265 i 450099100158335970753620020502190817.0931019s1990 it ||| | ita 881152170Xb10873442-39ule_instLE02372257ExLDip.to Studi Storiciita324Bocca, Giorgio <1920- >126030La disunità d'Italia :per venti milioni di italiani la democrazia è in coma e l'Europa si allontana /Giorgio BoccaMilano :Garzanti,1990117 p. ;18 cm.PoliticaItaliaSec. 20.Questione meridionale.b1087344202-04-1428-06-02991001583359707536LE023 324 BOC 1 112023000005866le023-E0.00-l- 01010.i1098164028-06-02Disunità d'Italia917591UNISALENTOle02301-01-93ma -itait 31