decal's security shed

Logic

external

... Logic Fundamentals & Introductory Issues ...

Logic Wiki @ editthis.info

The Punctuation Tree  (great for grammar checking academic/technical writings ...)

Rules of Inference

Critical Thinking and Logic Glossary

The On-Line Encyclopedia of Integer Sequences ® (OEIS®)

List of logic symbols

PROLOG

ClioPatria is an application that integrates the SWI-Prolog libraries for RDF and HTTP services into a ready to use (semantic) web server.

Simply Logical: Intelligent Reasoning by Example

learnprolognow.org

LaTeX

A gallery of (combinatorial) graphs produced by using LaTeX

TeX Users Group Web Site

The On-Line Encyclopedia of Integer Sequences ® (OEIS®)

---