The Language of First-Order Logic is a complete introduction to first-order symbolic logic, consisting of a computer program and a text. The program, an aid to

Tarski's World 4.0 is an innovative and enjoyable way to introduce your students to the language of first-order logic. Using this program, students quickly mast

This text/courseware package presents a new approach to teaching first-order logic. Taking advantage of Tarski's World 4.0, the text skilfully balances the sema