Describir: Matematičeskaja logika /