Combinatorial Unprovability Proofs and Their Model-Theoretic Counterparts - doi # Date : 1393-02 Article type Journal