McColm's conjecture [positive elementary inductions]

Gurevich, Y. ; Immerman, N. ; Shelah, S.

Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 1994, p.10-19

IEEE Comput. Soc. Press

Texto completo disponível