логика

Формальная грамматика и интенсиональная логика, Герасимова И.А., 2000.

   Стратегия, предложенная американским логиком Ричардом Монтегю, используется для построения формальных грамматик русского языка. Дается систематическое изложение метода. Строится полимодальная интенсиональная логика, приспособленная для представления модальных и эпистемических контекстов русскою языка. Дан анализ проблемы семантического статуса музыкального события.
Книга предназначается для логиков, лингвистов, математиков, программистов.

Введение в логику, Учебник, Бочаров В.А., Маркин В.И., 2008.

Учебник представляет основное содержание курса лекций по логике, который авторы в течение ряда лет читали на философском факультете Московского государственного университета им. М. В. Ломоносова. Учебник предназначен для студентов философских, а также других гуманитарных и естественных факультетов университетов. Может быть рекомендован всем желающим изучать логику самостоятельно или усовершенствоваться в ее знании.

Элементы математической логики, Новиков П.С., 1973.
 
   Настоящее издание по содержанию не отличается от первого издания. В нем исправлены опечатки и заменены устаревшие термины. В частности, удален термин «истинная в данном исчислении формула», который в первом издании использовался как синоним термина «выводимая в данном исчислении формула». Таким образом, исключена возможность смешения этого понятия с содержательной истинностью формул.
Книга не претендует на полноту освещения всех развивающихся в настоящее время важных направлений в математической логике. Некоторые из этих направлений не затронуты вовсе.

Веселые задачи, Перельман Я., 2023.

Сборник включает 550 задач и головоломок с ответами и решениями, собранными знаменитым популяризатором науки Яковом Исидоровичем Перельманом (1882–1942). Они публиковались в книгах «Для юных математиков. Первая сотня головоломок» и «Для юных математиков. Вторая сотня головоломок», в коллективном сборнике «Наука на досуге», а также в различных российских и советских журналах в период с 1906 по 1940 г. Тексты даны в авторской редакции и в современной орфографии. Большинство рисунков выполнены штатным художником ленинградского издательства «Время» Юрием (Георгием) Дмитриевичем Скалдиным (1891–1951).

Основы логики, Учебник, Бочаров В.А., Маркин В.И., 2008.

Этот учебник представляет собой основное содержание курса лекций по логике, который авторы в течение ряда лет читали на философском и психологическом факультетах Московского государственного университета им. М.В. Ломоносова. Учебник предназначен для студентов гуманитарных и естественных факультетов университетов, а также для всех желающих изучать логику самостоятельно, или усовершенствоваться в ее знании.

Мир логики, Развивающие занятия для начальной школы, Рындина Н.Д., 2008.

Представленные в книге развивающие занятия познакомят детей с основами логики: операциями сравнения, классификации, анализа, обобщения. Школьники научатся рассуждать, давать определения, находить закономерности, делать выводы. Задания подобраны с учетом материала, изучаемого в начальной школе.

Логика, Учебное пособие для студентов, бакалавров и магистрантов дневной и заочной форм обучения, Двухжилова И.В., Терехова Г.Л., 2016.

Структурировано согласно программе изучения дисциплины «Логика» для подготовки бакалавров-юристов в Тамбовском государственном техническом университете. Каждый раздел снабжён упражнениями для закрепления материала. Предназначено для студентов, бакалавров и магистрантов дневной и заочной форм обучения.

Логические головоломки, Богданов А.И., 2019.

Логические задачи этого сборника не требуют никаких специальных знаний, всё, что нужно юному эрудиту, - заинте­ресованность и внимание. Перед каждым видом головоломок идёт пошаговое объяснение способа решения, поэтому даже новички смогут быстро его освоить. Головоломки расположены в порядке возрастания сложно­сти. В конце книги даны головоломки повышенной трудности и ответы. Для широкого круга читателей.