Hilbert II - JAVA-Packages - Principia Mathematica II

Uses of Class
com.meyling.principia.logic.paragraph.Axiom

Packages that use Axiom
com.meyling.principia.module   
 

Uses of Axiom in com.meyling.principia.module
 

Methods in com.meyling.principia.module that return Axiom
 Axiom Module.getAxiom(String axiomLabel)
          Get the axiom with label axiomLabel.
 

Methods in com.meyling.principia.module with parameters of type Axiom
 void Module.addAxiom(String axiomLabel, Axiom axiom, Module module)
          Add axiom with label axiomLabel.
 


Hilbert II - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.