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