Hilbert II - JAVA-Packages - Principia Mathematica II

com.meyling.principia
Class Main

java.lang.Object
  extended bycom.meyling.principia.Main

public class Main
extends Object

This demonstrates various calls of Principia Mathematica II.

Version:
$Revision: 1.10 $
Author:
Michael Meyling

Constructor Summary
Main()
           
 
Method Summary
static void main(String[] args)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Main

public Main()
Method Detail

main

public static void main(String[] args)

Hilbert II - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.