Matematičeskaja logika i avtomatičeskoje dokazatel'stvo teore (Matematičeskaja logika i osnovanija matematiki, 1983)