External Links

    Journal: Math. Log. Q.

    Volume 31, Issue 19-20

    289 -- 294Anita Wasilewska. Some Remarks on Theorem Proving Systems and Mazurkiewicz Algorithms Associated with them
    295 -- 298Herman Ruge Jervell. Recursion on Homogeneous Trees
    299 -- 308René Lavendhomme, Thierry Lucas. A Non-Boolean Version of Feferman-Vaught's Theorem
    309 -- 316Pavel Pudlák, Antonín Sochor. Elementary Extensions of Models of the Alternative Set Theory
    317 -- 320Zbigniew Stachniak. Note on Structural Logics
    runs on