Foundations without foundationalism : a case for second-order logic / Stewart Shapiro.
Stewart Shapiro presents a distinctive original view of the foundations of mathematics, arguing that second-order logic has a central role to play in laying these foundations.
Saved in: