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