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 provability1427312UNICAMPANIA