@article{1183742795,
author = {Paris, J. B. and Wilkie, A. J. and Woods, A. R.},
title = {Provability of the Pigeonhole Principle and the Existence of Infinitely Many Primes},
journal = {J. Symbolic Logic},
volume = {53},
number = {1},
year = {1988},
pages = { 1235-1244},
language = {en},
url = {http://dml.mathdoc.fr/item/1183742795}
}
Paris, J. B.; Wilkie, A. J.; Woods, A. R. Provability of the Pigeonhole Principle and the Existence of Infinitely Many Primes. J. Symbolic Logic, Tome 53 (1988) no. 1, pp. 1235-1244. http://gdmltest.u-ga.fr/item/1183742795/