@article{CMUC_1976__17_3_a10, author = {Ml\v{c}ek, Josef}, title = {Twin prime problem in an arithmetic without induction}, journal = {Commentationes Mathematicae Universitatis Carolinae}, pages = {543--555}, publisher = {mathdoc}, volume = {17}, number = {3}, year = {1976}, mrnumber = {0432450}, zbl = {0344.02039}, language = {en}, url = {http://geodesic.mathdoc.fr/item/CMUC_1976__17_3_a10/} }