LEADER 01944nam0 2200349 450 001 000026266 005 20090619124537.0 012 $an-te no44 tai- Indi (7) 1819 (A)$2fei$5UNIPARTHENOPE 100 $a20090619d1819----km-y0itay50------ba 101 0 $aita 102 $aIT 140 $aag--a---ega------yyybb1111-- 141 $adf-u0cb-$5UNIPARTHENOPE-------------------------------------------------------------- 200 1 $aCompendio di navigazione ad uso della Marina mercantile del Regno delle due Sicilie. 210 $aNapoli$cdalla Tipografia della Reale Accademia di Marina$d1819 215 $a215 p., V c. di tav. ripieg.$cill.$d8° 225 2 $aBiblioteca del navigatore mercantile$vVolume 1 300 $aSul front. vascello in mare 307 $aSegnatura: 1-27/4 (-27/4) 316 $aLegatura di restauro a contenere la brossura (23x14x3 cm.); carte intonse e non rifilate; macchie di umidità;$5UNIPARTHENOPE 317 $aSulla controguardia ant. antiche segnature mss.: II-G VI 5 [n.i.]; sul r. della c. di g. ant.: IV-C-IV-14 [n.i.]; sulla brossura : cartellino: I 370 e nota ms.: gaeta; sul verso della stessa: Armadio n.° V Scansia lettera B Cn.° 20 [n.i.]; ivi, inoltre, 10°-D-1552 [n.i.]; sull'occh.: Ingresso N. 353 del Registro inventario della Regia Marina Biblioteca dipartimentale di Napoli; ivi, inoltre, B 623 [n.i.]; Timbro A della Reale Biblioteca di Marina$5UNIPARTHENOPE 410 0$12001$aBiblioteca del navigatore mercantile$vVolume 1 500 10$aCompendio di navigazione$959219 620 $aItalia$dNapoli 676 $a945.7$v21$9STORIA. ITALIA MERIDIONALE 712 02$aTipografia della Reale Accademia di Marina $4650 712 02$aDue Sicilie : Ministero della guerra e della marina$4390 801 0$aIT$bUNIPARTHENOPE$c20090619$gRICA$2UNIMARC 912 $a000026266 951 $aBORB-C/18$b353$cFB$d2009 996 $aCompendio di navigazione$959219 997 $aUNIPARTHENOPE 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