000 00264 a2200109 4500
008 180718b xxu||||| |||| 00|
100 _9Rňye, A
245 _aprovability theory
_cRňye, A
260 _aU.S.A
_bMacmillan Press
_c1976
300 _a426,P.
942 _2ddc
_cBK
999 _c6637
_d6637