M. Downward

• Logic and Declarative Language