Higher-order logic and equality; multiple ways to use lambda calculus for logicblog.burakemir.ch·73 pts·burakemir·25
Philosophers should talk more about climate change. Yes, philosophersbackreaction.blogspot.com·4 pts·burakemir·1