|
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. |