I specialized in logic when I earned my philosophy degree. So I may have learned more about than many computer scientists have learned about it. Sometimes I can hardly believe how many subfields it includes. During his seminar about Godel's Incompleteness Thorems, a computer scientist kept saying, "You probably don't know this, but . . ." or something like that. Which explains why the Philosophy Department's logician, who earned his doctorate from Stanford University, must have surprised the presenter he talked privately with him. That logician, Dr. Anthony M. Ungar wrote a book called [Normalization, Cut Elimination, and the Theory of Proofs/U], just the sort of book you'll love to curl up with if you're like me.![]()
We're forced to take this paper in Computing.
http://www.cs.waikato.ac.nz/genquer..._Number&lwhere=unique_record_id=284&children=
We are recommended to take Philosiphy logic papers but I chose not to.