Social Bookmarks zu Logic

The Coq proof assistant

http://coq.inria.fr/

imported logic prover theorem

Pexeso

http://bezumie.com/pexeso

Online Logic Javascript Memory Game

game online javascript logic

rubix cube whiz

http://video.yahoo.com/video/play?vid=b165b79e8076...

bit200w07 brain child entertainment games

Responsible Thinking: An Approach to Critical Thin...

http://www.truthpizza.org/

atheism criticalthinking logic mind philosophy

Skeptic's Dictionary

http://www.skepdic.com/tilogic.html

reference science education logic skepticism

How to argue effectively

http://www.ece.ust.hk/~mchan/interest/jokes/argume...

logic archive article college comedy

メモ帳 - 真偽値比較表

http://d.hatena.ne.jp/parasporospa/20061202/p1

boolean comparison logic programming_language tips

Sequent Calculus Prover (seqprover)

http://bach.istc.kobe-u.ac.jp/seqprover/

logic prover software

A Linear Logic Prover (llprover)

http://bach.istc.kobe-u.ac.jp/llprover/

logic prover software

Bedwyr

http://slimmer.gforge.inria.fr/bedwyr/

logic ocaml prover software