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

LEADER 01364nam a22002771i 4500
001 991000177619707536
005 20021016123304.0
008 020919s1974    it |||||||||||||||||ita  
035   $ab11970200-39ule_inst
035   $aARCHE-006000$9ExL
040   $aDip.to Filologia Ling. e Lett.$bita$cA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l.
082 04$a851.7
111 2 $aConvegno internazionale di studi leopardiani$n<3. ;$d1972 ;$cRecanati>$0198490
245 10$aLeopardi e il Novecento :$batti del 3. Convegno Internazionale di Studi Leopardiani : Recanati 2-5 ottobre 1972 /$c[a cura del] Centro Nazionale di Studi Leopardiani
260   $aFirenze :$bl.S.Olschki,$c1974
300   $a258 p. ;$c27 cm
650  4$aCongressi$xRecanati$y1972
650  4$aLeopardi, Giacomo$xFortuna Sec. 20.$aCongressi$y1972
710 2 $aCentro nazionale di studi leopardiani$eauthor$4http://id.loc.gov/vocabulary/relators/aut$0152989
907   $a.b11970200$b02-04-14$c01-04-03
912   $a991000177619707536
945   $aLE008 FL.M. VII C 9$g1$i2008000122072$lle008$o-$pE0.00$q-$rl$s-  $t0$u2$v0$w2$x0$y.i12249397$z01-04-03
945   $aLE008 LLI.S L II 2$g2$i2008000288112$lle008$o-$pE0.00$q-$rl$s-  $t0$u0$v0$w0$x0$y.i12249403$z01-04-03
996   $aLeopardi e il Novecento$91457486
997   $aUNISALENTO
998   $ale008$b01-04-03$cm$da  $e-$fita$git $h0$i2