Three Conceptual Problems That Bug

@inproceedings{Feferman1996ThreeCP,
  title={Three Conceptual Problems That Bug},
  author={Solomon Feferman},
  year={1996}
}
4 Extracted Citations
17 Extracted References
Similar Papers

Referenced Papers

Publications referenced by this paper.
Showing 1-10 of 17 references

A language and axioms for explicit mathematics

  • S. Feferman
  • 1975
Highly Influential
3 Excerpts

1989),Proof Theory: An Introduction, Lecture Notes in Maths

  • W. Pohlers
  • 1989

Proof theory: A personal report, Appendix to G

  • S. Feferman
  • 1987

Constructive theories of functions and classes, in Logic

  • S. Feferman
  • 1979

Similar Papers

Loading similar papers…