Textmeddelande: Metody i algoritmy induktivnogo vyvoda /