LEADER 01089nam0-22003731i-450-
001 990001493340403321
010   $a0-7923-6544-5
035   $a000149334
035   $aFED01000149334
035   $a(Aleph)000149334FED01
035   $a000149334
100   $a20020412d2000----km-y0itay50------ba
101 0 $aeng
102   $aNL
105   $aa---a---101yy
200 1 $aProof theory: history abd philosophical significance$fV. F. Hendrichs, S.A. Pedersen, K.F. Jorgensen, editors
210   $aDordrecht$cKluwer$dc2000
215   $axii, 244 p.$d24 cm
225 1 $aSyntese Library$v292
610 0 $aFilosofia$aStoria$acongressi
610 0 $aLogica matematica$aCongressi
676   $a511.3$v21
676   $a510.1
702  1$aHendricks,$bVincent
702  1$aJorgensen,$bFrovin
702  1$aPedersen,$bStig Andur
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001493340403321
952   $aC-25-(292$b18863$fMA1
959   $aMA1
962   $a03XX
996   $aProof theory: history abd philosophical significance$9377781
997   $aUNINA