U.S. federal trademark · Serial No. 74286870 · Reg. No. 1889172
computer programs and accompanying instruction manuals used to teach symbolic logic
Source: USPTO federal trademark records. Informational only, not legal advice. Status and details may lag the live USPTO database.