On the Proof Complexity of Paris-Harrington and Off-Diagonal Ramsey Tautologies
Carlucci, Lorenzo ; Galesi, Nicola ; Lauria, Massimo
ACM transactions on computational logic, 2016-11, Vol.17 (4), p.1-25
[Periódico revisado por pares]
ACM
Texto completo disponível