Department of Applied Logic