page1
Application-oriented Knowledge
Specifications
Axioms, Definitions, Theorems
Deductive Knowledge
Algorithmic Knowledge
Programs