P. S Novikov

• Elements of mathematical logic (Adiwes international series in mathematics)