research
∙
06/29/2019
Recursive axiomatizations from separation properties
We define a fragment of monadic infinitary second-order logic correspond...
research
∙
01/15/2019