Author Details

De Swart, H.C.M.

  • Vol 23, No 90-91 (1980) - Articles
    Gentzen-type systems for C, K and several extensions of C and K ; constructive completeness proofs and effective decision procedures for these systems
    Abstract  PDF