Links to Logic on the Web

 Logic Problems

Ed's puzzles

logicville

recreational puzzles 

logic problems page

 Venn Diagrams

 Venn Diagrams

 create a venn

 some examples to practice with

 Logic beyond our course

music

 Russell's paradox

 Godel's Incompleteness Theorem

 Church/Turing Thesis

 Frege's Theorem

 Aristotle's Organon

 Advanced Venn Diagrams

 Boole's Great Work

 

 

 

 

 Some Immediate inferences

 Logicians

 Aristotle

 More Aristotle

 Godel

 Russell

 Boole

 

 

 

 

 Fallacies

 Logic and the evolution of computers