Definability and decision problems in arithmetic

Author:

Julia Bowman Robinson

Alfred Tarski

Publication date:

January 1, 1948

Publication type:

PhD Thesis (Author field refers to student + advisor)

Topics

Past PhDs topic page, Phd-MathLogic topic page, PhD-year-1948 topic page