Concepedia
Publication | Open Access
Existential definability in arithmetic
99
Citations
2
References
1952
Year
Foundation Of MathematicsExistential DefinabilityPhilosophy Of LogicLogical Formalism
Page 1