000 00660nam a2200193ua 4500
001 00148431
003 PWmBRO
005 20240602103325.0
008 970826s xx eng
100 1 _aGradshtein, I. S.
245 1 0 _aDirect and converse theorems :
_bthe elements of symbolic logic /
_cby I.S. Gradshtein ; translated from the Russian by T. Boddington.
250 _a[3rd ed.].
260 _aOxford, UK,
_bPergamon Press,
_c1963.
300 _axviii, 173 p.
440 0 _aInternational series of monographs on pure and applied mathematics ;
_vv. 27
650 0 _aLogic, Symbolic and mathematical.
650 0 _aMathematics.
942 _2ddc
999 _c73904
_d73904