IHMC Public Cmaps (2)

        Georgia Tech PST 3113
            LAM schemes
                MH
                    ArgSchemes_2008-03
                        Resources for deduction
                        LAM-2

                            link to Garth Kemmerling's Categorical Syllogisms.url
                            link to Ron Blatt's Syllogism Evaluator.url