Keyword:theorem.

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