Article,

The complexity of classification problems for models of arithmetic.

, and .
Bull. Symb. Log., 16 (3): 345-358 (2010)

Meta data

Tags

Users

  • @dblp

Comments and Reviews