000 00200pam a2200097a 44500
082 _a164
_bAn23n
100 _aAnderson, J.M.
245 1 _aNatural deduction
260 _a
_b
_c1962
997 _a23559 C
999 _c449242
_d449242