ИСТИНА

• Охват: Международная
• Даты проведения: 7-13 августа 2003
• Место проведения: Овьедо, Spain
• Организатор:
  Division of Logic, Methodology and Philosophy of Science of the International Union of History and Philosophy of Science
• Добавил в систему: Плиско Валерий Егорович

Доклады:

• 2003 Primitive recursive realizability and the predicate logic (Стендовый)
• Авторы: Plisko V., Park B.H., Viter D.