Что почитать о предикатах?

[GrishinUS]

Доброго времени,

В процессе чтения книги по программированию встречаются выражения с предикатами, стали возникать вопросы.
Нашел несколько книг по матлогике, но в них по 300 и более страниц, боюсь увязнуть.
Что бы почитать такого доступного и небольшого по объему?
(Основные свойства, обозначения, операции)

[photon]

Это не физика. Определитесь с разделом и свяжитесь с соответствующим модератором