01536nam0 2200313 i 450 VAN005308620240123090020.642978-05-214-8325-420060922d1995 |0itac50 baengGB|||| |||||ˆThe ‰logic of provabilityGeorge BoolosCambridgeCambridge university1995XXXVI, 275 p.ill.24 cm03-XXMathematical logic and foundations [MSC 2020]VANC019750MF03F30First-order arithmetic and fragments [MSC 2020]VANC024401MF03F40Gödel numberings and issues of incompleteness [MSC 2020]VANC024403MF03B45Modal logic (including the logic of norms) [MSC 2020]VANC024404MFCambridgeVANL000024BoolosGeorgeVANV04187745067Cambridge university <editore>VANV107986650ITSOL20240126RICAhttps://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=falsePreviewVAN0053086BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0498 08 5773 I a 20060922 BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0498 08VS 4358 I b 20060922 Logic of provability1427312UNICAMPANIA