![122494](/images/creator/_default.jpg)
Solomon Feferman
Tarski's influence on computer science
2018
in: The Lvov-Warsaw school, Dordrecht : Springer
![Open Access Link](/images/OAlink.png)
Enriched stratified systems for the foundations of category theory
2011
in: Foundational theories of classical and constructive mathematics, Dordrecht : Springer
![Open Access Link](/images/OAlink.png)
Logic and methodology, center stage
2010
Philosophia Scientiae 14/1
![Open Access](/images/book.png)
Alfred Tarski and a watershed meeting in logic
2003
in: Philosophy and logic in search of the Polish tradition, Dordrecht : Springer
![Open Access Link](/images/OAlink.png)
Mathematical intuition vs. mathematical monsters
2000
Synthese 125/3
![Open Access Link](/images/OAlink.png)