Wikiproofs:Set-theoretical definition of JHilbert concepts

Contents

 * Notation and symbols
 * Chapter 1: Names
 * Chapter 2: Kinds
 * Chapter 3: Variables
 * Chapter 4: Disjoint variable restrictions
 * Chapter 5: Functors
 * Chapter 6: Expressions
 * Chapter 7: Definitions
 * Chapter 8: Statements
 * Chapter 9: Simple modules
 * Chapter 10: Parameters
 * Chapter 11: Modules
 * Chapter 12: Imports and exports
 * Chapter 13: Extending modules