natural deduction solver openlogicproject.org open source, customizable, advanced logic text Category:philosophy Global Rank:837,009 visits:57.4K pages/Per:1.5 umsu.de Category:philosophy Global Rank:1,071,554 visits:29.1K pages/Per:5.2 ADS