Alpha

First alpha release.

Content features:

• First-order logic, sequent calculus, soundness and completeness
• Recursive functions, computability theory
• Incompleteness
• Sets, relations, functions

Technical features:

• Modular source code with inclusion and reference system
• Tag system for selective processing
• Token system for global replacement of terms
• Config files for controlling typesetting
• Deferred problem sections