Login / Signup

Theories of initial segments of standard models of arithmetics and their complete extensions.

Michal KrynickiJerzy TomasikKonrad Zdanowski
Published in: Theor. Comput. Sci. (2011)
Keyphrases