Citation: D. Cantone et A. Ferro, TECHNIQUES OF COMPUTABLE SET-THEORY WITH APPLICATIONS TO PROOF VERIFICATION, Communications on pure and applied mathematics, 48(9-10), 1995, pp. 901-945
Citation: D. Cantone et V. Cutello, DECISION ALGORITHMS FOR ELEMENTARY TOPOLOGY .1. TOPOLOGICAL SYLLOGISTICS WITH SET AND MAP CONSTRUCTS, CONNECTEDNESS, AND CARDINALITY COMPARISON, Communications on pure and applied mathematics, 47(9), 1994, pp. 1197-1217