This is the textbook we used in graduate school, and it is very good. Not sure if this is what you were referring to as “Computation and Logic”. It covers second order logic, but not intuitionistic logic as far as I can remember.
That’s indeed the one I was referring to.
This is the textbook we used in graduate school, and it is very good. Not sure if this is what you were referring to as “Computation and Logic”. It covers second order logic, but not intuitionistic logic as far as I can remember.
That’s indeed the one I was referring to.