лит-ра по мат.логике

[maxmatem]

кто знает где скачать книгу "Лихтарников Л.М., Сукачева Т.Г. Математическая Логика, задачник-практикум! подскажите ссылку! (а то куда не полезу лекции есть а практикума нет)или подскажите литературу где много примеров на исчисление высказываний, где надо д-ть формулы!