- From: <jos.deroo.jd@belgium.agfa.com>
- Date: Sat, 1 Dec 2001 03:12:21 +0100
- To: ned.smith@intel.com
- Cc: www-rdf-logic@w3.org
> 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 expect for semantic web vision to be realized, proof mechanics must be > accessible to the average developer/web professional. HTML and the browser > made the Internet more accessible when commandline processors to things like > gopher, ftp and smtp were the norm. > > Does the list recommend resources in addition to[1]? > > [1] http://www.wikipedia.com/wiki/Larrys_Text that's great we also think about http://www.stanford.edu/~elitach/soco/theory.htm -- Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Friday, 30 November 2001 21:12:35 UTC