Second-order logic (explained in plain English)academia.edu7 points·philipn··1 commentOpen articleSaveView on HN