External Links

    Journal: Bulletin of Symbolic Logic

    Volume 2, Issue 3

    243 -- 283Kosta Dosen. Deductive completeness
    284 -- 321Robert I. Soare. Computability and recursion
    322 -- 338Patrick Lincoln, John C. Mitchell, Andre Scedrov. Linear logic proof games and optimization
    339 -- 348Slawomir Solecki. Analytic ideals
    349 -- 366Igor Walukiewicz. A note on the completeness of Kozen s axiomatisation of the propositional mu-calculus
    runs on