Report - UniversityofBarcelona arXiv:1602.00555v1 [math.LO] 1 … A short word on coding ... Since substitution is key to manipulating syntax we need, ... The idea is that one can conclude

Please pass captcha verification before submit form