1998. FIRST ORDER AXIOMATIZABILITY OF RECURSION THEORY IN CARTESIAN LINEAR COMBINATORY ALGEBRAS. Annual of Sofia University St. Kliment Ohridski. Faculty of Mathematics and Informatics. 90, (Dec. 1998), 41–50.