References
Solomon Feferman
(2000-2009)
XHarmonious logic: Craig's interpolation theorem and its descendants
2008
Synthese 164/3
Alfred Tarski and a watershed meeting in logic: cornell, 1957
2003
in: Philosophy and logic in search of the Polish tradition, Dordrecht : Springer
Mathematical intuition vs. mathematical monsters
2000
Synthese 125/3