Wilfrid Hodges
Andrzej Mostowski and the notion of a model
2018
in: The Lvov-Warsaw school, Dordrecht : Springer
Proofs as cognitive or computational
2018
Philosophy & Technology 31/1
2015
Philosophia Scientiae 19/1
The move from one to two quantifiers
2015
in: The road to universal logic I, Basel : Birkhäuser
2014
Philosophia Scientiae 18/3
2006
in: Mathematical problems from applied logic I, Dordrecht : Springer
2002
in: Mathematics and music, Dordrecht : Springer
1998
in: Concepts for neural networks, Dordrecht : Springer