Login / Signup
Zermelo and the Skolem paradox.
Dirk van Dalen
Heinz-Dieter Ebbinghaus
Published in:
Bull. Symb. Log. (2000)
Keyphrases
</>
first order logic
knowledge representation