Login / Signup
Converse extensionality and apartness.
Benno van den Berg
Robert Paßmann
Published in:
Log. Methods Comput. Sci. (2022)
Keyphrases
</>