Michael Detlefsen
4 published titles
Hilbert's program : an essay on mathematical instrumentalism
1 edition
- ISBN: 9027721513
- Reidel
- 1986
- Details
Proof and knowledge in mathematics
(Contributor)
2 editions
- ISBN: 0415068053
- Routledge
- 1991
- Details
- ISBN: 0415068053
- Routledge
- 1992
- Details
Proof, logic and formalization
(Contributor)
1 edition
- ISBN: 0415023351
- Routledge
- 1992
- Details
Logic from A to Z
1 edition
- ISBN: 0415213754
- Routledge
- 1999
- Details
