Home, Last Session
Introduction, Help for the web, FAQ on homework
Syllabus, Calendar, News (?)
mypage: notepad, resultsTrack, preferences
Search the Logic Café (ok now?)
Forum for logic concerns (?)
Feedback to author! (ok now?)
Hints for using the Café
Chapters and Tutorials:
One: Basic Concepts
Two: Sentence Logic
Three: Truth Tables
Four: SL Symbolizations
Five: SL Derivations
Six: Predicate Logic
Seven: PL Semantics and Symbolizations
Eight: PL Derivations
Nine: Predicate Logic with Identity
Exercises and Quizzes:
 Chapters One, Two, Three, Four, Five, Six, Seven, Eight, Nine
Reference Manual:
 Chapters One, Two, Three, Four, Five,  Six, Seven, Eight, Nine
Glossary
Compact Contents