External Links

    Journal: Electronic Colloquium on Computational Complexity (ECCC)

    Volume 10, Issue 024

    0 -- 0Till Tantau. Weak Cardinality Theorems for First-Order Logic
    runs on