J. Symb. Log.

Summary