
References
Jouko Väänänen
in English
XSecond order logic, set theory and foundations of mathematics
2012
in: Epistemology versus ontology, Dordrecht : Springer

The Craig interpolation theorem in abstract model theory
2008
Synthese 164/3

in English
X2012
in: Epistemology versus ontology, Dordrecht : Springer
2008
Synthese 164/3