17 Jun
2013
17 Jun
'13
1:55 p.m.
On 15/06/13 22:08, Valeria de Paiva wrote:
Hi, I know no one should pay too much attention to what Wikipedia says, but I wonder if anyone can give me a proper reference for: "Cartier was to give a S?minaire Bourbaki<http://en.wikipedia.org/wiki/S%C3%A9minaire_Bourbaki>exposition of intuitionistic logic." This is in the Wikipedia entry for Categorical Logic http://en.wikipedia.org/wiki/Categorical_logic and as anything that is in Wikipedia is repeated lots of times, all over the web. Does anyone know what this sentence is referring to, please? Thanks Valeria
There is a Cartier's exposition on the work of Lawvere. e.d. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]