Publication Date
7-2014
Abstract
In the 1970 and 1980s, logic and constructive mathematics were an important part of my life; it's what I defended in my Master's thesis, it was an important part of my PhD dissertation. I was privileged to work with the giants. I visited them in their homes. They were who I went to for advice. And this is my story.
tr14-44.pdf (200 kB)
Original file
Original file
Comments
Technical Report: UTEP-CS-14-44a
To appear in: Francine F. Abeles and Mark E. Fuller, Modern Logic 1850-1950. East and West, Birkhauser, Basel.