Author Info
Name
Affiliation
Papers
WILLIAM MCCUNE
Argonne National Laboratory Mathematics and Computer Science Division 60439 4844 Argonne IL USA 60439 4844 Argonne IL USA
1
Collaborators
Citations 
PageRank 
5
50
8.20
Referers 
Referees 
References 
59
1
1
Title
Citations
PageRank
Year
Set Theory in First-Order Logic: Clauses for Gödel's Axioms508.201986