179 followers Tanner Phil. Library @tannerlib Second-order Logic and the Power Set https://t.co/ae486xG1sT 20 Dec 2016 Reply Repost Favourite