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