Mostowski, Andrzej. "A formula with no recursively enumerable model." Fundamenta Mathematicae 42.1 (1955): 125-140. <http://eudml.org/doc/213366>.
@article{Mostowski1955, author = {Mostowski, Andrzej}, journal = {Fundamenta Mathematicae}, keywords = {philosophy and foundations of mathematics}, language = {eng}, number = {1}, pages = {125-140}, title = {A formula with no recursively enumerable model}, url = {http://eudml.org/doc/213366}, volume = {42}, year = {1955}, }
TY - JOUR AU - Mostowski, Andrzej TI - A formula with no recursively enumerable model JO - Fundamenta Mathematicae PY - 1955 VL - 42 IS - 1 SP - 125 EP - 140 LA - eng KW - philosophy and foundations of mathematics UR - http://eudml.org/doc/213366 ER -