An interactive, DHTML tutor-advisor-homework examiner-textbook in elementary symbolic logic...the Café integrates logic lessons and tutorials with JavaScript™ software. Topics covered range from the basic concepts of logic to first order predicate logic with identity. This free Internet courseware is designed for use online or from the student's hard drive. A printable reference manual is included.
