An Interpretation of Robinson Arithmetic in its Grzegorczyk s Weaker Variant

Vítezslav Svejdar. An Interpretation of Robinson Arithmetic in its Grzegorczyk s Weaker Variant. Fundamenta Informaticae, 81(1-3):347-354, 2007. [doi]

Abstract

Abstract is missing.