О точных моделях логики свидетельствдоклад на конференции