Deutsche Gesellschaftfür phänomenologische Forschung
Zeitschrift | Autoren
Formalization, syntax and the standard model of arithmetic
2007
Luca Bellotti
Synthese 154/2
Tarski on logical notions
2003
Synthese 135/3