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]

Authors

Vítezslav Svejdar

This author has not been identified. Look up 'Vítezslav Svejdar' in Google