Hilbert II - JAVA-Packages - Principia Mathematica II

Uses of Interface
com.meyling.principia.logic.paragraph.ParagraphCheck

Packages that use ParagraphCheck
com.meyling.principia.logic.paragraph   
 

Uses of ParagraphCheck in com.meyling.principia.logic.paragraph
 

Classes in com.meyling.principia.logic.paragraph that implement ParagraphCheck
 class Abbreviation
          Abbreviation.
 class Axiom
          Logical Axiom.
 class Proposition
          Logical sentence.
 class RuleDeclaration
          Declares a logical rule.
 

Methods in com.meyling.principia.logic.paragraph that return ParagraphCheck
 ParagraphCheck Paragraph.getParagraphCheck()
          Get the meat of this paragraph.
 


Hilbert II - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.