It looks like you're new here. If you want to get involved, click one of these buttons!
Hi all, I am looking to forming a reading group on Categorical logic (I'm thinking of following Lambek's Introduction to Higher Order Categorical Logic, but if people have other suggestions, I'd be glad to hear :)
Would anyone be interested?
If you are, feel free to manifest yourself, so we can organize in a manner best suited to all