Categories
1 page
Theory
Posts in this category are dealing with theoretical aspects of logic.
A Sequent Calculus for General Inductive Definitions
