"Essential Logic"@cs .