Abstracts of Contributed Papers LC 2000 and ELSS 2000, Paris, La Sorbonneсборник

Статьи, опубликованные в сборнике

---

• • 2000 A predicate logic based on the Goedel interpretation and the system of hereditary effective operations
  • Plisko V.E.
  • в сборнике Abstracts of Contributed Papers LC 2000 and ELSS 2000, Paris, La Sorbonne, место издания Paris, тезисы, с. 32-32
• • 2000 Equality from the constructive point of view
  • Plisko V.E., Viter D.A.
  • в сборнике Abstracts of Contributed Papers LC 2000 and ELSS 2000, Paris, La Sorbonne, место издания Paris, тезисы, с. 33-33