![122279](/images/creator/_default.jpg)
Wilfrid Hodges
Andrzej Mostowski and the notion of a model
2018
in: The Lvov-Warsaw school, Dordrecht : Springer
![Open Access Link](/images/OAlink.png)
Proofs as cognitive or computational
2018
Philosophy & Technology 31/1
![Open Access Link](/images/OAlink.png)
The move from one to two quantifiers
2015
in: The road to universal logic I, Basel : Birkhäuser
![Open Access Link](/images/OAlink.png)