«Логика второго порядка»

Логика второго порядка в энциклопедиях