logic of theory

Мат. логика теории