В настоящей книге дается достаточно полное и вместе с тем доступное изложение основных разделов математической логики и многих ее приложений....