LEADER 00808nam0-22002411i-450-
001 990001211710403321
035   $a000121171
035   $aFED01000121171
035   $a(Aleph)000121171FED01
035   $a000121171
100   $a20000920d1984----km-y0itay50------ba
101 0 $aeng
200 1 $aComputation and proof theory$eProceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 - Part II$fEdited by M.M. Richter, E. Borger, W. Obe rschelp, B. Schinzel and W. Thomas.
210   $aBerlin [etc.]$cSpringer-Verlag$d1984
225 1 $aLecture Notes in Mathematics$v1104
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001211710403321
952   $aC-20-(1104$b802$fMA1
959   $aMA1
996   $aComputation and proof theory$9262578
997   $aUNINA
DB    $aING01