Есть 2 основных типа логики: формальная и не формальная
Формальная логика- это основная логика которой пользуется наука и философия. Это логика типа: аргумент и/или аргумент = следствие.
Не формальная логика- попытка создать логику применимую в повседневной жизни и размышлении. ( многие эту попытку считают провалом)
По формальной логике: Введение в логику. Бочаров, Маркин
По не формальной: Краткий курс логики. Гусев
Для практического применения можно пройти курсы на brilliant
Отдельно хочу выделить Булеву алгебру. Сама по себе интересная модель для логики, однако не обязательная для изучения.
А по какой именно логике?
Аристотелевой, математической или женской?
Например, по цифровой логике есть замечательная книга Аванесяна "Интегральные микросхемы".
)
Георгий Челпанов "Учебник логики" для начинающих очень подойдет. В нем о логике как науке, о понятиях и суждениях, о законах мышления, логических ошибках и т.д.
Советую прочитать "Искусство правильно мыслить" (Ивин А.А.) Лично для меня она оказалась очень полезной и интересной, вы не потратите время зря, читая эту книгу. Читается относительно легко, затрагиваются несколько подразделов логики. По сути, написана она "для старшего школьного возраста", но, думаю, любому взрослому стоит ее прочесть)
А я бы порекомендовала не книгу по логике, а курс на сайте 4brain. Читала книгу, и там есть все тоже самое, что и в курсе, только еще больше воды.
Я бы порекомендовал "Историю с узелками" Кэррола.
Это, конечно, не академическая книга, но зато более-менее весело читается, и при этом содержит немножко полезного материала.
Ой, их достаточно много: А.Н.Колмогоров и А.Г.Драгалин "Математическая логика"; С.А.Янковская "Лекции по алгебре логики"; Н.К.Верещагин и А.Шень "Языки и исчисления"; из олдскульной классики — А.Пуанкаре "Математика и логика" и Г.Фреге "Логика и логическая семантика". Думаю, что этого для знакомства с логикой хватит :)
Было бы здорово, если бы вы написали не просто названия книг, а рассказали бы пару слов про них!