Envoyer par SMS: Matematičeskaja logika i avtomatičeskoje dokazatel'stvo teore