Bibliography

A Simple Automation of a Peircean Decision Procedure

Tabs