000
00264 a2200109 4500
008
180718b xxu||||| |||| 00|
100
_9
Rňye, A
245
_a
provability theory
_c
Rňye, A
260
_a
U.S.A
_b
Macmillan Press
_c
1976
300
_a
426,P.
942
_2
ddc
_c
BK
999
_c
6637
_d
6637