Repository | Directory | Profile

References
Jouko Väänänen
Second 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
