PP-2005-16: Lev D. Beklemishev, Joost J. Joosten, Marco Vervoort A finitary treatment of the closed fragment of Japaridze's provability logic 1.Full Text, 2.Abstract. < Back