Login / Signup

Structures interpretable in models of bounded arithmetic.

Neil Thapen
Published in: Ann. Pure Appl. Log. (2005)
Keyphrases