Посоветуйте такой учебник формальной логики, по которому можно было бы ознакомиться со всем, что нового в нее внесено. Нужен учебник формальной логики (если это возможно, то не позже 1980х годов Советского издательства, но если это невозможно, то подойдёт и современный), в котором было бы изложено все то, что внесено в формальную логику к сегодняшнему дню: язык символической логики, новые интерпретации форм логики и проч. Т.е, все то, что необходимо, чтобы использовать современных задачник по формальной логике.

Один из классических учебников по формальной логике, который охватывает основные концепции и новые разработки в этой области, - "Введение в математическую логику" Дж. Шоэнфинкеля и Р. Смелли. Этот учебник был издан в 1967 году и до сих пор считается одним из самых авторитетных исследований в области формальной логики.

Если вам нужен более современный учебник, то можно посмотреть на книгу "Математическая логика" Дж. Шора и Р. Голдблатта, изданную в 2002 году. В этой книге также представлены основные понятия и методы формальной логики, а также новые разработки в этой области.

Надеюсь, что эти учебники помогут вам ознакомиться с основами формальной логики и подготовят вас к использованию современных задачников по этой теме.