Elements of mathematical logic. - Novikov, Petr Sergeevich (Edinburgh : Oliver and Boyd, 1964)
Keywords: LOGICA, SIMBOLICA Y MATEMATICA