From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7768 Path: news.gmane.org!not-for-mail From: Valeria de Paiva Newsgroups: gmane.science.mathematics.categories Subject: a historical question Date: Sat, 15 Jun 2013 18:08:43 -0700 Message-ID: Reply-To: Valeria de Paiva NNTP-Posting-Host: plane.gmane.org Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1371430157 19740 80.91.229.3 (17 Jun 2013 00:49:17 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 17 Jun 2013 00:49:17 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Mon Jun 17 02:49:18 2013 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.186]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1UoNdG-0008Je-6B for gsmc-categories@m.gmane.org; Mon, 17 Jun 2013 02:49:18 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:42073) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1UoNb8-0005Vb-0f; Sun, 16 Jun 2013 21:47:06 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1UoNb9-00039X-4O for categories-list@mlist.mta.ca; Sun, 16 Jun 2013 21:47:07 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:7768 Archived-At: 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=E9minaire Bourbakiexposition 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 --=20 Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]