|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Classes in com.meyling.principia.logic.paragraph used by com.meyling.principia.html | |
ProofLine
A proof line of a mathematical proof. |
Classes in com.meyling.principia.logic.paragraph used by com.meyling.principia.latex | |
ProofLine
A proof line of a mathematical proof. |
Classes in com.meyling.principia.logic.paragraph used by com.meyling.principia.logic.paragraph | |
ParagraphCheck
Every main Paragraph entry must implement this interface. |
|
ProofLineList
List of proof lines. |
Classes in com.meyling.principia.logic.paragraph used by com.meyling.principia.logic.rule | |
ProofLineList
List of proof lines. |
|
RuleDeclaration
Declares a logical rule. |
Classes in com.meyling.principia.logic.paragraph used by com.meyling.principia.module | |
Abbreviation
Abbreviation. |
|
Axiom
Logical Axiom. |
|
ProofLine
A proof line of a mathematical proof. |
|
Proposition
Logical sentence. |
|
RuleDeclaration
Declares a logical rule. |
|
Sentence
Logical sentence. |
|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |