clasohm@1311: Isabelle Logics nipkow@1773:
nipkow@1774:

nipkow@1774:

nipkow@1774: The Logical Choice! nipkow@1774:

nipkow@1773:
nipkow@1773:

clasohm@1311: Click on the logic's name to view a list of its theories. clasohm@1311:


clasohm@1311: First-Order Logic paulson@2084: clasohm@1311:
clasohm@1311: Higher-Order Logic paulson@2084: clasohm@1311:
clasohm@1311: Miscellaneous paulson@2084: clasohm@1311:
clasohm@1311: