Elements of mathematical logic - Novikov, P.S.; Others (1964)
English