Ian Hodkinson profile picture

Ian Hodkinson

Stand Alone

Temporal Logic: Volume 1 (Oxford Logic Guides)
Arthur Lismer's drawings for the Humberside mural
Advances in Modal Logic