IHMC Public Cmaps (2)

        Georgia Tech PST 3113
            LAM schemes
                MH
                Resources for complete induction

                    link to modus ponens.url