LEADER 01428nam  2200373   450 
001 000013599
005 20050718115500.0
010   $a3-540-06119-3
100   $a20030522d1973----km-y0itay0103----ba
101 0 $aeng
102   $aDE
200 1 $aExtensional Godel functional interpretation$ea consistency proof of classical analysis.$fHorst Luckhardt
210   $aBerlin [etc.]$cSpringer$d1973
215   $aVI, 161 p.$d26 cm.
225 2 $aLecture notes in mathematics$v306
410  0$12001$aLecture notes in mathematics
606   $aTeoria della dimostrazione
676   $a511.3$v(21. ed.)$9Logica matematica (Logica simbolica)
691   $a03F10$9Mathematical logic and foundations. Proof theory and constructive mathematics. Functionals in proof theory
700  1$aLuckhardt,$bHorst$059223
801  0$aIT$bUniversità della Basilicata - B.I.A.$gRICA$2unimarc
912   $a000013599
996   $aExtensional Godel functional interpretation$981511
997   $aUNIBAS
BAS   $aMONSCI
BAS   $aSCIENZE
CAT   $aEXT002$b01$c20030522$lBAS01$h0951
CAT   $c20050601$lBAS01$h1755
CAT   $abatch$b01$c20050718$lBAS01$h1051
CAT   $c20050718$lBAS01$h1111
CAT   $c20050718$lBAS01$h1141
CAT   $c20050718$lBAS01$h1155
FMT   
Z30 -1$lBAS01$LBAS01$mBOOK$1BASA2$APolo Tecnico-Scientifico$2GEN$BCollezione generale$3MAT$631510$5S31510$820030522$f51$FRiservati

LEADER 02042nam0 22004573i 450 
001 BVE0037915
005 20251003044052.0
010   $a8815038000
020   $aIT$bEDI-195                  
100   $a19930514d1993    ||||0itac50      ba
101 | $aita
102   $ait
181  1$6z01$ai $bxxxe  
182  1$6z01$an
183  1$6z01$anc$2RDAcarrier
200 1 $aˆLa ‰difficile transizione$edalla fine del centrismo al centro-sinistra, 1953-1960$fPietro Di Loreto
210   $aBologna$cIl mulino$d[1993]
215   $a408 p.$d21 cm
225 | $aCollana di storia contemporanea
410  0$1001CFI0012841$12001 $aCollana di storia contemporanea
606   $aItalia$xPolitica$x1953-1960$2FIR$3CFIC063107$9I
676   $a320.945$9SITUAZIONI E CONDIZIONI POLITICHE. ITALIA$v19
676   $a320.945$9SITUAZIONE E CONDIZIONI POLITICHE. Italia$v23
676   $a320.9450904$9SITUAZIONE E CONDIZIONI POLITICHE. Italia. Sec. 20.$v20
676   $a320.9450925$9$v21
676   $a945.092$9STORIA. ITALIA. PERIODO DELLA REPUBBLICA, 1946-$v21
686   $aIT/3420.2$cCENTRISMO ITALIA 1948-1963$2R
696   $aVita politica$aAttività politica$aAspetti politici
699   $aPolitica$zVita politica
699   $aPolitica$zAttività politica
699   $aPolitica$zAspetti politici
700  1$aDi Loreto$b, Pietro$3CFIV040938$4070$0133745
801  3$aIT$bIT-000000$c19930514
850   $aIT-BN0095          $aIT-NA0581          
901   $bNAP FC$cFONDO     $n$
901   $bNAP 01$cPOZZO LIB.$nVi sono collocati fondi di economia, periodici di ingegneria e scienze, periodici di economia e statistica e altri fondi comprendenti documenti di economia pervenuti in dono.  
912   $aBVE0037915
950  0$aBiblioteca Centralizzata di Ateneo$c1 v.$d 01POZZO LIB.ECON MON                7475$e 0101 0700110155E VMA                       1 v. (Precedente collocazione 11 EC 015)$fB $h20220805$i20220805
977   $a 01$a FC
996   $aDifficile transizione$9634662
997   $aUNISANNIO