Subject: Propositional Logic and Computability Theory
From: "William J. Rapaport" <rapaport@buffalo.edu>
Date: Sat, 19 Sep 2009 14:50:06 -0400 (EDT)

For a discussion of the role of propositional logic (especially truth
tables) in the theory of computability (the mathematical theory of what
kinds of problems can be solved by a computer, and what kinds can't),
link to:

http://www.cse.buffalo.edu/~rapaport/191/F09/npcomp.html