"Теория дедуктивных систем и ее применения" - читать интересную книгу автора (Маслов С.Ю.)