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

Хенкин

Хенкин, Henkin: Предложил метод доказательства полноты исчислений, названный его именем. (В процессе написания).