Математическая логика — своеобразная область науки, тесно связанная как с математикой, так и с философией, — выдвинулась на первый план в последние десятилетия, когда возникла потребность в автоматизации процессов, выполнявшихся ранее лишь человеческим мозгом. Теория электронных цифровых машин и других «умных» автоматов, изучение структуры языка, глубокие философские вопросы оснований математики и других наук — вот сфера применений математической логики.
Книга Анджея Гжегорчика предназначена для того, чтобы удовлетворить возрастающий интерес к этой науке людей, не являющихся специалистами ни в математике, ни в логике. От читателя не требуется ни знания математических фактов, ни привычки к чтению математической литературы. Автор ведет изложение в разговорном стиле, логические символы заменяет словами. Многочисленные примеры облегчают усвоение материала.
