LEADER 00915nam0-22003251i-450- 001 990001058410403321 010 $a3-540-07911-4 035 $a000105841 035 $aFED01000105841 035 $a(Aleph)000105841FED01 035 $a000105841 100 $a20000920d1977----km-y0itay50------ba 101 0 $aeng 200 1 $aProof Theory$fKurt Schutte$gtranslation from the German by J.N. Crossley 210 $aBerlin [etc.]$cSpringer-Verlag$d1977 215 $axii, 299 p.$d25 cm 225 1 $a<>Grundlehren der mathematischen Wissenschaften$v225 610 0 $aLogica 610 0 $aRicorsività 676 $a160 700 1$aSchütte,$bKurt$0346092 702 1$aCrossley,$bJohn Newsome 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990001058410403321 952 $a7-204$b10782$fFI1 959 $aFI1 996 $aBeweistheorie$934430 997 $aUNINA DB $aING01