Полный русско-английский словарь
Мат. quantificational logic
Логика предикатов
логика предикатов
ЛОГИКА ПРЕДИКАТОВ