Foundations of mathematics for the working mathematician (1949)

by Nicolas Bourbaki
Venue:The Journal of Symbolic Logic