Title: Metody i algoritmy induktivnogo vyvoda
Subjects: Induction (Mathematics), Symbolic and mathematical Logic