LEADER 00676nam0-22002291i-450-
001 990001306760403321
035   $a000130676
035   $aFED01000130676
035   $a(Aleph)000130676FED01
035   $a000130676
100   $a20000920d--------km-y0itay50------ba
101 1 $aeng
200 1 $aExtensional Godel functional interpretation$eA consistence proff of classical analysis$fby LUCKHARDT H.
700  1$aLuckhardt,$bHorst$059223
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001306760403321
952   $aC-20-(306$b13151$fMA1
959   $aMA1
996   $aExtensional Godel functional interpretation$981511
997   $aUNINA
DB    $aING01