Jouko Väänänen
Second order logic, set theory and foundations of mathematics
2012
in: Epistemology versus ontology, Dordrecht : Springer
2009
Synthese 167/2
The Craig interpolation theorem in abstract model theory
2008
Synthese 164/3
Second order logic, set theory and foundations of mathematics
2012
in: Epistemology versus ontology, Dordrecht : Springer
2009
Synthese 167/2
The Craig interpolation theorem in abstract model theory
2008
Synthese 164/3