Parallel Postulates and Continuity Axioms: A Mechanized Study in Intuitionistic Logic Using Coq.

Published in: J. Autom. Reason. (2019)

Keyphrases