000
00300pam a2200121a 44500
008
160408b1962 xxu||||| |||| 00| 0 eng d
082
_a
164
_b
B465F
100
_a
Beth, Evert W.
245
1
_a
FORMAL METHODS
260
_a
_b
D. Reidel Publishing Company
_c
1962
964
_g
CIRC
997
_a
A10192 C
999
_c
244141
_d
244141