Department of Applied Logic/General