1,835 followers
Steven Givant. The Calculus of Relations as a Foundation for Mathematics. 2007. Journal of Automated Reasoning. Springer https://t.co/l91a4fYMVQ TL/DR References historic texts and is paywalled in the grand modern/academic tradition