Elements of mathematical logic - Novikov, P. S. (Petr Sergeevich) (Edinburgh : Oliver & Boyd, 1964)
engrus
Keywords: Logic, Symbolic and mathematical