000 00499nam a22001577a 4500
041 _aeng
082 0 _a511.1 GRA
100 1 _aGradshtein, I. S.
245 1 0 _aDirect and converse theorems : the elements of symbolic logic
_cI. S. Gradshtein; translated by T. Boddington
260 _aLondon :
_bPergamon Press,
_c1963.
300 _axi, 168 p. ;
_c22 cm.
650 4 _aAxioms
650 4 _aLogic, Symbolic and mathematical
650 4 _aSet theory
700 1 _aBoddington, T.
_etranslator
999 _c384200
_d384136