RaCAn is not elementary, for n>4

Bulletin of the Section of Logic, Tom 37, Numer 2 (2008) s. 123-136
Tarek Sayed Ahmed

 

do góry