![122494](https://sdvigpress.org/images/creator/_default.jpg)
References
Solomon Feferman
Tarski's influence on computer science![Open Access Link](images/OAlink.png)
2018
in: The Lvov-Warsaw school, Dordrecht : Springer
![Open Access Link](images/OAlink.png)
And so on . . .: reasoning with infinite diagrams![Open Access Link](images/OAlink.png)
2012
Synthese 186/1
![Open Access Link](images/OAlink.png)
Enriched stratified systems for the foundations of category theory![Open Access Link](images/OAlink.png)
2011
in: Foundational theories of classical and constructive mathematics, Dordrecht : Springer
![Open Access Link](images/OAlink.png)
Harmonious logic: Craig's interpolation theorem and its descendants![Open Access Link](images/OAlink.png)
2008
Synthese 164/3
![Open Access Link](images/OAlink.png)
Alfred Tarski and a watershed meeting in logic: cornell, 1957![Open Access Link](images/OAlink.png)
2003
in: Philosophy and logic in search of the Polish tradition, Dordrecht : Springer
![Open Access Link](images/OAlink.png)
Mathematical intuition vs. mathematical monsters![Open Access Link](images/OAlink.png)
2000
Synthese 125/3
![Open Access Link](images/OAlink.png)
Tarski and Gödel: between the lines![Open Access Link](images/OAlink.png)
1999
in: Alfred Tarski and the Vienna circle, Dordrecht : Springer
![Open Access Link](images/OAlink.png)