Hüperonüümid:
loogika 3(n)
metaloogika 1(n)

loogikasüsteeme endid käsitlev loogika osa