Kreisel, Georg. "Some concepts concerning formal systems on number theory.." Mathematische Zeitschrift 57 (1952/53): 1-12. <http://eudml.org/doc/169302>.
@article{Kreisel1952/53, author = {Kreisel, Georg}, journal = {Mathematische Zeitschrift}, keywords = {philosophy and foundations of mathematics}, pages = {1-12}, title = {Some concepts concerning formal systems on number theory.}, url = {http://eudml.org/doc/169302}, volume = {57}, year = {1952/53}, }
TY - JOUR AU - Kreisel, Georg TI - Some concepts concerning formal systems on number theory. JO - Mathematische Zeitschrift PY - 1952/53 VL - 57 SP - 1 EP - 12 KW - philosophy and foundations of mathematics UR - http://eudml.org/doc/169302 ER -
