Login / Signup
J. Stillwell, Reverse Mathematics: Proofs from the Inside Out, Princeton University Press, Princeton, 2018, xiii + 182 pp.
Jeffry L. Hirst
Published in:
Bull. Symb. Log. (2018)
Keyphrases
</>
data sets
case study
neural network
theorem proving
database
data mining
search algorithm
computer science
upper level
san francisco