Weak Theories of Concatenation and Arithmetic

Yoshihiro Horihata. Weak Theories of Concatenation and Arithmetic. Notre Dame Journal of Formal Logic, 53(2):203-222, 2012. [doi]

Abstract

Abstract is missing.