![](/img/cover-not-exists.png)
Combinatorial Unprovability Proofs and Their Model-Theoretic Counterparts
Aghaei, Mojtaba, Khamseh, AmirVolume:
55
Year:
2014
Language:
english
Journal:
Notre Dame Journal of Formal Logic
DOI:
10.1215/00294527-2420654
File:
PDF, 307 KB
english, 2014