Parlamento, Franco. "Binumerability in a sequence of theories." Rendiconti del Seminario Matematico della Università di Padova 65 (1981): 9-12. <http://eudml.org/doc/107832>.
@article{Parlamento1981, author = {Parlamento, Franco}, journal = {Rendiconti del Seminario Matematico della Università di Padova}, keywords = {extensions of Robinson's arithmetic; sequence of theories for arithmetic}, language = {eng}, pages = {9-12}, publisher = {Seminario Matematico of the University of Padua}, title = {Binumerability in a sequence of theories}, url = {http://eudml.org/doc/107832}, volume = {65}, year = {1981}, }
TY - JOUR AU - Parlamento, Franco TI - Binumerability in a sequence of theories JO - Rendiconti del Seminario Matematico della Università di Padova PY - 1981 PB - Seminario Matematico of the University of Padua VL - 65 SP - 9 EP - 12 LA - eng KW - extensions of Robinson's arithmetic; sequence of theories for arithmetic UR - http://eudml.org/doc/107832 ER -