A.N.Kolmogorov (1903-1987) i A.G.Dragalin (1941-1998) - vydajuschiesja otechestvennye logiki i matematiki, okazavshie glubokoe vozdejstvie na stil i napravlenie mirovykh issledovanij po logike i filosofii matematiki. V nastojaschee izdanie vkljucheny uchebniki A.N.Kolmogorova i A.G.Dragalina "Vvedenie v matematicheskuju logiku" i "Matematicheskaja logika. Dopolnitelnye glavy", soderzhaschie klassicheskoe izlozhenie ponjatij i rezultatov matematicheskoj logiki s elementami teorii mnozhestv, teorii algoritmov i osnovanij matematiki. Uchebniki napisany na osnovanii kursa matematicheskoj logiki, chitavshegosja oboimi avtorami na mekhaniko-matematicheskom fakultete MGU im. M.V.Lomonosova. Izlozhenie fundamentalnykh faktov sovremennoj logiki (osnov logiki vyskazyvanij i logiki predikatov, nachal aksiomaticheskoj teorii mnozhestv, teorii algoritmov, teoremy Gedelja o nepolnote, programmy Gilberta obosnovanija matematiki) ne predpolagaet spetsialnoj podgotovki i rasschitano na shirokij krug chitatelej,...