Mathematical Texts
A Couple of Individual Formulae in
Theorema
Syntax
A Definition
A Proposition
Prerequisite Knowledge
Composition of a Knowledge Base
Converted by
Mathematica
June 17, 2002
![[Graphics:../Images/index_gr_12.gif]](../Images/index_gr_12.gif)
![[Graphics:../Images/index_gr_13.gif]](../Images/index_gr_13.gif){kind=small}
![[Graphics:../Images/index_gr_14.gif]](../Images/index_gr_14.gif)
![[Graphics:../Images/index_gr_15.gif]](../Images/index_gr_15.gif)
![[Graphics:../Images/index_gr_16.gif]](../Images/index_gr_16.gif)
![[Graphics:../Images/index_gr_17.gif]](../Images/index_gr_17.gif)
![[Graphics:../Images/index_gr_18.gif]](../Images/index_gr_18.gif){kind=small}
![[Graphics:../Images/index_gr_19.gif]](../Images/index_gr_19.gif)