|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
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 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |