Logic and Modelling
General Information and Overview

Jörg Endrullis
Vrije Universiteit Amsterdam