W3C home > Mailing lists > Public > www-rdf-logic@w3.org > December 2001

Re: Logic and proof tutorial resources

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

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:41 GMT