![125751](/images/creator/_default.jpg)
Wilfried Sieg
In the shadow of incompleteness
2012
in: Epistemology versus ontology, Dordrecht : Springer
![Open Access Link](/images/OAlink.png)
Automated search for Gödel's proofs
2008
in: Deduction, computation, experiment, Dordrecht : Springer
![Open Access Link](/images/OAlink.png)
Aspects of mathematical experience
1997
in: Philosophy of mathematics today, Dordrecht : Springer
![Open Access Link](/images/OAlink.png)
Relative consistency and accessible domains
1990
Synthese 84/2
![Open Access Link](/images/OAlink.png)