Hilbert II - JAVA-Packages - Principia Mathematica II

Uses of Class
com.meyling.principia.logic.basic.BasicPatternVariable

Packages that use BasicPatternVariable
com.meyling.principia.logic.basic   
 

Uses of BasicPatternVariable in com.meyling.principia.logic.basic
 

Subclasses of BasicPatternVariable in com.meyling.principia.logic.basic
 class BasicFormulaPatternVariable
          Pattern variable, for matching purposes.
 class BasicPredicateVariablePatternVariable
          Pattern variable, for matching purposes.
 


Hilbert II - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.