The idea that a definition is an abbreviation … for "p|q"?--A definition signifies a change in technique. … [p. 43] Mathematics and logic are two different techniques. … one technique into another. They connect two different …
Google-1
Google-2
Copyright clearance needed for quotation.