|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |
---------
A0
---------
A0
A1 => A2
A3
---------
A4
if A1 => A2 matches A3 => A4 A1 => A2
A3
---------
A4
if A1 => A2 matches A3 => A4Argument
.PatternVariable
if not already there.
abbreviationLabel
.
PatternVariable
s to the set?
axiomLabel
.
sentenceLabel
.
|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |