LEADER 01554nam0 2200313 i 450 
001 SUN0053086
005 20180918104421.784
010   $a978-05-214-8325-4$d0.00
100   $a20060922d1995       |0engc50      ba
101   $aeng
102   $aGB
105   $a||||    |||||
200 1 $aThe *logic of provability$fGeorge Boolos
210   $aCambridge$cCambridge university$d1995
215   $aXXXVI, 275 p.$cill.$d24 cm.
606   $a03-XX$xMathematical logic and foundations [MSC 2020]$2MF$3SUNC019750
606   $a03F30$xFirst-order arithmetic and fragments [MSC 2020]$2MF$3SUNC024401
606   $a03F40$xGödel numberings and issues of incompleteness [MSC 2020]$2MF$3SUNC024403
606   $a03B45$xModal logic (including the logic of norms) [MSC 2020]$2MF$3SUNC024404
620   $dCambridge$3SUNL000024
700  1$aBoolos$b, George$3SUNV041877$045067
712   $aCambridge university$3SUNV000097$4650
801   $aIT$bSOL$c20200727$gRICA
856 4 $uhttps://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=false$zPreview
912   $aSUN0053086
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   0498        $e08VS 4358      I b     20060922            
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   0498        $e08   5773      I a     20060922            
996   $aLogic of provability$91427312
997   $aUNICAMPANIA