Baldwin, J.

Beyond first order logic: from number of structures to structure of numbers: Part I