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