Я буду сдавать экзамен по Математической логике, но сам ее не очень-то знаю.
Препод посоветывал почитать мне Новикова или Карпова. Интересуют разделы "Булева алгебра", "Теория предикатов", "Пролог" и прочее.
Как считаете, книги хорошие? Точные названия не помню. И можно ли их скачать в интернете?