Login / Signup

Negative Solution of the Decision Problem for Sentences True in Every Subalgebra of .

Ralph McKenzie
Published in: J. Symb. Log. (1971)
Keyphrases