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