"Logic, or, The art of thinking : being the Port-Royal logic"@cs .