In three comprehensive volumes, Logic of the Future presents a full panorama of Charles S. Peirce’s important late writings. Among the most influential Americ

In three comprehensive volumes, Logic of the Future presents a full panorama of Charles S. Peirce’s most important late writings. Among the most influential A

Now in paperback, Topology via Logic is an advanced textbook on topology for computer scientists. Based on a course given by the author to postgraduate students

Develops a new logic paradigm which emphasizes evidence tracking, including theory, connections to other fields, and sample applications.

This is an advanced 2001 textbook on modal logic, a field which caught the attention of computer scientists in the late 1970s. Researchers in areas ranging from