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