Словарь по логике

Предикатная теория: Теория в языке с предикаторами.