000 00501 a2200253 4500
001 11002
020 _a0-02-845690-42
041 _aeng
080 _a517.1 Hal
245 _aMathematical proof : an elementary approach
250 _a
260 _aNew York
260 _bHafner Press,
260 _c1974
300 _aviii,104 p.
300 _c27 cm
490 _a
100 _aHallerberg, Arthur E.
700 _a
650 _a
650 _aProof theory
942 _cBK
942 _2UDC
999 _c12914
_d12914