Course in mathematical logic - Koblitz Neal Tr.; Manin Yu I (New York Spring-Verlag, 1977)
Tr from the Russian by Neal Koblitz
Keywords: Logic symbolic and mathematics