|
PMII - JAVA-Packages - Principia Mathematica II | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Object | +--com.meyling.principia.Main
This demonstrates various calls of Principia Mathematica II.
| Constructor Summary | |
Main()
|
|
| Method Summary | |
static void |
main(String[] args)
|
| Methods inherited from class java.lang.Object |
|
| Constructor Detail |
public Main()
| Method Detail |
public static void main(String[] args)
|
PMII - JAVA-Packages - Principia Mathematica II | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
| ©left GNU General Public Licence All Rights Reserved. |