Login / Signup
Does mathematics need new axioms?
Solomon Feferman
Harvey M. Friedman
Penelope Maddy
John R. Steel
Published in:
Bull. Symb. Log. (2000)
Keyphrases
</>
knowledge base
computer science
first order logic
computer assisted instruction
electrical engineering
machine learning
information systems
computer assisted learning
mathematics education