LEADER 01116nam2-2200373---450-
001 990003229690203316
005 20091110114022.0
010   $a0-7204-2277-9
035   $a000322969
035   $aUSA01000322969
035   $a(ALEPH)000322969USA01
035   $a000322969
100   $a20090428d1975----km-y0itay50------ba
101   $aeng
102   $aNL
105   $a||||||||001yy
200   $aProof theory$fGaisi Takeuti
210   $aAmsterdam$cNorth-Holland$d1975
215   $aVII, 372 p.$cill.$d23 cm
225  2$aStudies in logic and the foundations of mathematics$v81
410  1$1001000334586$12001$aStudies in logic and the foundations of mathematics$v81
606 0 $aLogica matematica
676   $a511.3
700  1$aTAKEUTI,$bGaisi$050858
801  0$aIT$bsalbc$gISBD
912   $a990003229690203316
951   $a510 SL 81$b1162/CBS$c510$d00218685
959   $aBK
969   $aSCI
979   $aRSIAV7$b90$c20090428$lUSA01$h0912
979   $aRSIAV7$b90$c20090428$lUSA01$h0914
979   $aRSIAV6$b90$c20091110$lUSA01$h1140
996   $aProof Theory$9335175
997   $aUNISA