logo
Математична логіка

Розділ ІІ: Логіка предикатів.