Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Posting-Version: version B 2.10.2 9/5/84; site ellie.UUCP Path: utzoo!watmath!sunybcs!ellie!rapaport From: rapaport@ellie.UUCP (William J. Rapaport) Newsgroups: ont.events Subject: buffalo logic colloquium Message-ID: <779@ellie.UUCP> Date: Fri, 7-Feb-86 12:11:41 EST Article-I.D.: ellie.779 Posted: Fri Feb 7 12:11:41 1986 Date-Received: Sun, 9-Feb-86 07:01:05 EST Distribution: ont Organization: SUNY/Buffalo Computer Science Lines: 30 Department of Philosophy and Buffalo Logic Colloquium present Nicolas Goodman Department of Mathematics SUNY Buffalo INTENSIONS, CHURCH'S THESIS, AND FORMALIZATION OF MATHEMATICS Thursday, February 20 3:30 p.m. 209 O'Brian For further information, contact John Corcoran, 636-2438 -- William J. Rapaport Assistant Professor Dept. of Computer Science, SUNY Buffalo, Buffalo, NY 14260 (716) 636-3193, 3180 uucp: ...{allegra,decvax,watmath}!sunybcs!rapaport ...{cmcl2,hao,harpo}!seismo!rochester!rocksvax!sunybcs!rapaport cs: rapaport@buffalo arpa: rapaport%buffalo@csnet-relay bitnet: rapaport@sunybcs