–
Статьи в журналах
-
- 1995 Invited papers presented at the Conference on Proof Theory, Provability Logic, and Computation – Preface
- Artemov Sergei, Boolos George, Engeler Erwin, Feferman Solomon, Jäger Gerhard, Visser Albert
- в журнале Annals of Pure and Applied Logic, издательство Elsevier BV (Netherlands), том 75, № 1-2, с. 1-1 DOI