A student of Jean Van Heijenoort, he received a doctorate in 1970 for his thesis The Use of Formal Systems in Logic and Mathematics. The Informed Soul was published by Artscroll in 1990, and has recently been reprinted.
Under the guidance of Jean Van Heijenoort, he earned his Ph.D. in 1970 for his dissertation The Use of Formal Systems in Logic and Mathematics. His book, The Informed Soul, was published by Artscroll in 1990 and has since been reissued.