Pavel Pudlák. Incompleteness in the finite Domain. Bulletin of Symbolic Logic, 23(4):405-441, 2017. [doi]
@article{Pudlak17-0, title = {Incompleteness in the finite Domain}, author = {Pavel Pudlák}, year = {2017}, doi = {10.1017/bsl.2017.32}, url = {https://doi.org/10.1017/bsl.2017.32}, researchr = {https://researchr.org/publication/Pudlak17-0}, cites = {0}, citedby = {0}, journal = {Bulletin of Symbolic Logic}, volume = {23}, number = {4}, pages = {405-441}, }