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

Кванторная теория: Теория в языке с кванторами и квантифицируемыми переменными.