Logic for computer science
Steve Reeves, Michael Clarke · 1990
* Introduction * Formalizing The Language * Extending the Language * Semantic Tableaux * Natural Deduction * Some Extended Examples * Logic Programming * Non-standard Logics * Further Study * Appendices