Jeho doktorát na Hebrejské univerzitě v roce 1949 byl metamathematics algebraických systémů, a to se stala jeho první knihy zveřejněné v roce 1951.
His doctorate from the Hebrew University in 1949 was The metamathematics of algebraic systems and this became his first book published in 1951.