Quantifier-Free Axioms For Constructive
β
Patrick Suppes
π
Article
π
2000
π
Springer Netherlands
π
English
β 75 KB