|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use AbstractDynamicArgumentList | |
com.meyling.principia.argument | |
com.meyling.principia.logic.paragraph | |
com.meyling.principia.module |
Uses of AbstractDynamicArgumentList in com.meyling.principia.argument |
Subclasses of AbstractDynamicArgumentList in com.meyling.principia.argument | |
class |
VariableList
Dynamic list of arguments. |
Uses of AbstractDynamicArgumentList in com.meyling.principia.logic.paragraph |
Subclasses of AbstractDynamicArgumentList in com.meyling.principia.logic.paragraph | |
class |
Paragraph
A paragraph contains an axiom, an abbreviation or a proposition of a mathematical theory. |
class |
ProofLineList
List of proof lines. |
class |
Proposition
Logical sentence. |
class |
RuleDeclaration
Declares a logical rule. |
Uses of AbstractDynamicArgumentList in com.meyling.principia.module |
Subclasses of AbstractDynamicArgumentList in com.meyling.principia.module | |
class |
AuthorList
List of module authors . |
class |
ImportList
List of Import s. |
class |
LocationList
List of locations where a module could be found. |
class |
Module
Main data object of this project. |
class |
ParagraphList
List of Paragraph s |
class |
UsedbyList
List of known references to a module. |
|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |