His doctorate from the Hebrew University in 1949 was The metamathematics of algebraic systems and this became his first book published in 1951.
Ang kanyang mga titulo ng doktor mula sa Hebrew University sa 1949 ay Ang metamathematics ng algebraic system at ito ay naging kanyang unang librong inilathala sa 1951.