From owner-cse584-sp07-list@LISTSERV.BUFFALO.EDU Tue Jan 30 12:10:41 2007 Received: from ares.cse.buffalo.edu (ares.cse.Buffalo.EDU [128.205.32.79]) by castor.cse.Buffalo.EDU (8.13.6/8.12.10) with ESMTP id l0UHAf6t007643 for ; Tue, 30 Jan 2007 12:10:41 -0500 (EST) Received: from front3.acsu.buffalo.edu (warmfront.acsu.buffalo.edu [128.205.6.88]) by ares.cse.buffalo.edu (8.13.6/8.13.6) with SMTP id l0UHAYiv080327 for ; Tue, 30 Jan 2007 12:10:34 -0500 (EST) Received: (qmail 24053 invoked from network); 30 Jan 2007 17:10:34 -0000 Received: from mailscan3.acsu.buffalo.edu (128.205.6.135) by front3.acsu.buffalo.edu with SMTP; 30 Jan 2007 17:10:34 -0000 Received: (qmail 15371 invoked from network); 30 Jan 2007 17:10:33 -0000 Received: from deliverance.acsu.buffalo.edu (128.205.7.57) by front2.acsu.buffalo.edu with SMTP; 30 Jan 2007 17:10:33 -0000 Received: (qmail 12101 invoked from network); 30 Jan 2007 17:10:24 -0000 Received: from listserv.buffalo.edu (128.205.7.35) by deliverance.acsu.buffalo.edu with SMTP; 30 Jan 2007 17:10:24 -0000 Received: by LISTSERV.BUFFALO.EDU (LISTSERV-TCP/IP release 14.5) with spool id 2997268 for CSE584-SP07-LIST@LISTSERV.BUFFALO.EDU; Tue, 30 Jan 2007 12:10:24 -0500 Delivered-To: CSE584-SP07-LIST@listserv.buffalo.edu Received: (qmail 1061 invoked from network); 30 Jan 2007 17:00:24 -0000 Received: from mailscan7.acsu.buffalo.edu (128.205.6.158) by listserv.buffalo.edu with SMTP; 30 Jan 2007 17:00:24 -0000 Received: (qmail 4292 invoked from network); 30 Jan 2007 17:00:23 -0000 Received: from nz-out-0506.google.com (64.233.162.231) by smtp4.acsu.buffalo.edu with SMTP; 30 Jan 2007 17:00:23 -0000 Received: by nz-out-0506.google.com with SMTP id z31so1015526nzd for ; Tue, 30 Jan 2007 09:00:23 -0800 (PST) Received: by 10.115.89.1 with SMTP id r1mr60102wal.1170176423046; Tue, 30 Jan 2007 09:00:23 -0800 (PST) Received: by 10.114.95.3 with HTTP; Tue, 30 Jan 2007 09:00:22 -0800 (PST) MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline X-Google-Sender-Auth: 6329ec15f9e6cbf2 X-UB-Relay: (nz-out-0506.google.com) X-PM-Spam-Prob: : 7% Message-ID: Date: Tue, 30 Jan 2007 12:00:22 -0500 Reply-To: Mike Prentice Sender: "Philosophy of Computer Science, Spring 2007" From: Mike Prentice Subject: Webarchive To: CSE584-SP07-LIST@LISTSERV.BUFFALO.EDU Precedence: list List-Help: , List-Unsubscribe: List-Subscribe: List-Owner: List-Archive: X-UB-Relay: (nz-out-0506.google.com) X-DCC-Buffalo.EDU-Metrics: castor.cse.Buffalo.EDU 1029; Body=0 Fuz1=0 Fuz2=0 X-Spam-Status: No, score=-2.6 required=5.0 tests=BAYES_00 autolearn=unavailable version=3.1.7 X-Spam-Checker-Version: SpamAssassin 3.1.7 (2006-10-05) on ares.cse.buffalo.edu X-Virus-Scanned: ClamAV 0.88.6/2505/Tue Jan 30 05:40:21 2007 on ares.cse.buffalo.edu X-Virus-Status: Clean Status: R Content-Length: 1279 You can open a webarchive file on Windows using 7zip. I think there's an MS Word converter as well. http://www.7-zip.org/ http://www.microsoft.com/downloads/details.aspx?FamilyID=A275CA6B-95F1-4FE0-BAE4-56E0A61BF936&displaylang=EN -- Mike On 1/30/07, William J. Rapaport wrote: > ------------------------------------------------------------------------ > Subject: LEON HENKIN > ------------------------------------------------------------------------ > > I sent you an obituary of Leon Henkin. You might well ask why :-) > > He was a famous and influential logician, famed in logic for his proof > of the completeness of first-order logic. More to the point, he wrote > an interesting article on the relation of logic to the history and > development of computers that we will be reading in the near future. > > I don't know if the version I posted to the listserv was readable. > So there are two more versions available, one in RTF format that you can > download and probably open in Word or TextEdit or similar programs, and > another in "webarchive" format that you can download and open with a > browser. (I hope.) > > /web/faculty/rapaport/584/S07/henkin-obit.rtfd > > http://www.cse.buffalo.edu/~rapaport/584/S07/henkin-obit.webarchive >