Приглашает принять участие в коллоквиуме "Основания математики, математические машины и их применение". Просит сообщить название доклада.