Non-Computability of the Equational Theory of Polyadic Algebras

Bulletin of the Section of Logic, Tom 30, Numer 3 (2001) s. 155-164
Gabor Sagi

 

do góry