Login / Signup
A Negation-free Proof of Cantor's Theorem.
N. Raja
Published in:
Notre Dame J. Formal Log. (2005)
Keyphrases
</>
interactive theorem proving
logic programs
logic programming
deductive databases
theorem proving
von neumann
proof theory
database
data sets
similarity measure
search algorithm
theorem prover
horn clauses
fixpoint