Repository | People

129110

References

Jouko Väänänen

Second order logic, set theory and foundations of mathematics

2012

in: Epistemology versus ontology, Dordrecht : Springer

Open Access Link
From if to bi

2009

with Abramsky Samson

Synthese 167/2

Open Access Link
The Craig interpolation theorem in abstract model theory

2008

Synthese 164/3

Open Access Link