|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Interface Summary | |
ParagraphCheck | Every main Paragraph entry must implement this interface. |
ParagraphConstants | This interface provides constants of this package. |
Class Summary | |
Abbreviation | Abbreviation. |
Axiom | Logical Axiom. |
LinkLabel | A reference label. |
Paragraph | A paragraph contains an axiom, an abbreviation or a proposition of a mathematical theory. |
ParagraphCreator | This class provides static methods for reading and
writing an Argument . |
ProofLine | A proof line of a mathematical proof. |
ProofLineList | List of proof lines. |
Proposition | Logical sentence. |
RuleDeclaration | Declares a logical rule. |
Sentence | Logical sentence. |
|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |