You should be able to cope with coq, I think. I think just going up to the logic section would be useful, the rest is only really relevant for heavy program proving. Let us know how you get on and what you find useful.
If you are in London I can lend you Conceptual Mathematics, if you want.
You should be able to cope with coq, I think. I think just going up to the logic section would be useful, the rest is only really relevant for heavy program proving. Let us know how you get on and what you find useful.
If you are in London I can lend you Conceptual Mathematics, if you want.
I’m not in London, I’m afraid, or even close to it. Thank you anyway. I’ll reply again to this post or send a PM when I’ve gotten through it.
wink wink nudge nudge
Try not to go broke buying textbooks.