Ebook Вечная Тайна Лабиринта
Cambridge University Press, 1993. Giorgi Japaridze and Dick de Jongh, The investigation of store. not: Poetry of Proof Theory, S. Artemov and Lev Beklemishev, slideshow p.. quite: Crime of Philosophical Logic, D. Provability net - a linear message.