Categories (Philosophy)

Applied Proof Theory: Proof Interpretations and Their Use in Mathematics by: (Language materials, printed)

Aristotle's Theory of Substance = The Categories and Metaphysics Zeta by: (Language materials, printed)

Towards a general theory of classifications by: (Language materials, printed)

Classifying reality by: (Language materials, printed)

Mathematics.

Categories (Philosophy)

Substance (Philosophy)

Logic, Symbolic and mathematical.

Science

Mathematics

Proof theory.

Approximations and Expansions.

Aristotle.

Information Storage and Retrieval.

Game Theory, Economics, Social and Behav. Sciences.

Mathematics, general.

Operator Theory.

Logic.

Mathematical Logic and Foundations.

Reality.

Functional Analysis.

Order, Lattices, Ordered Algebraic Structures.

Classification.

Classification