4 treff

Logic from A to Z
Michael Detlefsen, David Charles McCarty,...
Bok Engelsk 1999
Proof and knowledge in mathematics
edited by Michael Detlefsen
Bok Engelsk 1992
Proof, logic and formalization
edited by Michael Detlefsen
Bok Engelsk 1992
Hilbert's program : an essay on mathematical instrumentalism
Michael Detlefsen
Bok Engelsk 1986