Systems of Logic Based on Ordinals

By S. Cooper, J. V. Leeuwen. 2013

175 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics

View Paper: https://www.semanticscholar.org/paper/646f0d0cd9bd3d4d8eecb10346da606b04ef58c3