Login / Signup

Some Undecidable Problems Involving Elementary Functions of a Real Variable.

Daniel Richardson
Published in: J. Symb. Log. (1968)
Keyphrases