Second-order logic (explained in plain English)(academia.edu)
academia.edu
Second-order logic (explained in plain English)
https://www.academia.edu/11975482/Second-order_logic_explained_in_plain_English_
1 comments
https://news.ycombinator.com/item?id=9703766