Keyword:theorem.

Publications
Syntactic Computation of Model Composites of Enactment Logic. Frank Appiah EasyChair Preprint 6194