B.S. in Computer Science. I had, by that time, also taken all the graduate courses in formal logic topics offered by the Philosophy department.
Retired Sr. Systems Programmer, University of Utah.
Serious interests in Mathematics.
Strong and serious interests in Logic.
(I've answered open questions in the area of single axioms for logic systems.)
I have a particular interest in, and have found new results in, the conditions under which a logic system must have a single axiom basis. [Expanding Tarski's result of 1930.]