Andrzej Mostowski and the notion of a model

2018

Wilfrid Hodges

in: The Lvov-Warsaw school, Berlin,

Proofs as cognitive or computational

Ibn Sı̄nā's innovations

2018

Wilfrid Hodges

Philosophy & Technology 31 (1)

Logic and philosophy of science in Nancy (II)

2015

Gerhard Heinzmann, Pierre É. Bour, Wilfrid Hodges, Peter Schroeder-Heister (eds)

Philosophia Scientiae 19 (1)

Preface

2015

Pierre É. Bour, Gerhard Heinzmann, Wilfrid Hodges, Peter Schroeder-Heister

Philosophia Scientiae 19 (1)

The move from one to two quantifiers

2015

Wilfrid Hodges

in: The road to universal logic I, Basel,

Preface

2014

Gerhard Heinzmann, Wilfrid Hodges, Peter Schroeder-Heister

Philosophia Scientiae 18 (3)

Two doors to open

2006

Wilfrid Hodges

in: Mathematical problems from applied logic I, Berlin,

Musical patterns

2002

Wilfrid Hodges, Robin J. Wilson

in: Mathematics and music, Berlin,

Turing's philosophical error?

1998

Wilfrid Hodges

in: Concepts for neural networks, Berlin,