LEADER 00858nam0-22003251i-450-
001 990001092590403321
010   $a0-444-87943-9
035   $a000109259
035   $aFED01000109259
035   $a(Aleph)000109259FED01
035   $a000109259
100   $a20000920d1987----km-y0itay50------ba
101 0 $aeng
200 1 $aProof Theory$fGaisi Takeuti
205   $a2nd ed.
210   $aAmsterdam [etc.]$cNorth-Holland$d1987
215   $aX, 490 p.$d23 cm
225 1 $aStudies in logic and the foundations of mathematics$vvol. 81
610 0 $aLogica
610 0 $aRicorsività
676   $a160
700  1$aTakeuti,$bGaisi$050858
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001092590403321
952   $a7-154.001$b16484$fFI1
959   $aFI1
996   $aProof Theory$9335175
997   $aUNINA
DB    $aING01

LEADER 00833nem2 2200325   450 
001 990009880080403321
005 20140709115643.0
035   $a000988008
035   $aFED01000988008
035   $a(Aleph)000988008FED01
035   $a000988008
100   $a20140709d1927----km-y0itay50------ba
101 0 $aita
102   $aIT
120   $ab------------
121   $aaa-aa----
123 1 $aa$b1:20000
200 1 $aAmalfi Ravello$bDocumento cartografico
206   $a1:20000
210   $aMilano$cTCI$d1927
215   $a1 c. (v. 2, p. 544)$ccolor.$d14 x 8 cm
461  0$1001000324411
610 0 $aCampania$aCarte
710 02$aTouring club italiano$05623
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aMP
912   $a990009880080403321
959   $aILFGE
996   $aAmalfi Ravello$9827051
997   $aUNINA