ИСТИНА

• Охват: Международная
• Даты проведения: 23-31 июля 2000
• Место проведения: Париж, France
• Организатор:
  Association of Symbolic Logic
• Добавил в систему: Плиско Валерий Егорович

Доклады:

• 2000 A predicate logic based on the Goedel interpretation and the system of hereditary effective operations (Устный)
• Автор: Plisko V.E.

• 2000 Equality from the constructive point of view (Устный)
• Авторы: Viter D.A., Plisko V.E.