513 Gra D Gradshtein , I S Direct and converse theorems , the alements of symbolic logic . Tr. from the Russian by T. Boddington . Oxford , Pergamon , 1963. 173 p. diagrs. 23 cm. ( International series of monographs on pure and applied mathematics , vol. 27)