First St Petersburg Days of Logic and Computability. Abstractsсборник

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

---

• • 1999 $\Sigma_n$-realizability and its predicate logic
  • Plisko V.E.
  • в сборнике First St Petersburg Days of Logic and Computability. Abstracts, место издания St Petersburg, тезисы, с. 33-34