Links
Home
Algos
Blog
Papers
Use
ΜΆ
Adam I. Gerard
ISU
NIU
CS MS TBD
Propositional Calculus Workbook
notes
A simple workbook introducing the basics of
axiomatic symbolic logic
Using only true, formal, schemata to reason about all true sentences (including themselves).
Download: Propositional Calculus Workbook
begun: 2009
Contents
paper status
paper intro
paper content
paper updates