Login / Signup
are not axiomatisable.
Philip Kremer
Published in:
Notre Dame J. Formal Log. (1993)
Keyphrases
</>