Re: Logic and proof tutorial resources

• From: Seth Russell <seth@robustai.net>
• Date: Tue, 11 Dec 2001 17:40:28 -0800
• To: "Smith, Ned" <ned.smith@intel.com>, <www-rdf-logic@w3.org>
• Message-ID: <00d101c182ad$faf1fac0$657ba8c0@c1457248a.sttls1.wa.home.com>

From: "Smith, Ned" <ned.smith@intel.com>

> I'd like to find good concise tutorial material for
> logic & proof disciplines. I've found WikiPedia[1] at Ohio State to
> be a good resource. It doesn't assume the reader is a logician.
> However it lacks information on the mechanics of proofs. 

I've found Peter Suber's site very enlightening.
http://www.earlham.edu/~peters/hometoc.htm

Seth Russell

Received on Tuesday, 11 December 2001 20:42:13 UTC