Michal Krynicki, Jerzy Tomasik, Konrad Zdanowski. Theories of initial segments of standard models of arithmetics and their complete extensions. Theoretical Computer Science, 412(31):3975-3991, 2011. [doi]
No references recorded for this publication.
No citations of this publication recorded.