@article{1183741849, author = {Pudlak, Pavel}, title = {Cuts, Consistency Statements and Interpretations}, journal = {J. Symbolic Logic}, volume = {50}, number = {1}, year = {1985}, pages = { 423-441}, language = {en}, url = {http://dml.mathdoc.fr/item/1183741849} }
Pudlak, Pavel. Cuts, Consistency Statements and Interpretations. J. Symbolic Logic, Tome 50 (1985) no. 1, pp. 423-441. http://gdmltest.u-ga.fr/item/1183741849/