Foundations of mathematics for the working mathematician
From MaRDI portal
Publication:5791195
DOI10.2307/2268971zbMath0034.00105MaRDI QIDQ5791195
Publication date: 1949
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2268971
03A05: Philosophical and critical aspects of logic and foundations
Related Items
Top-down and bottom-up philosophy of mathematics, The happy formalist, Unordered pairs in the set theory of Bourbaki 1949, Generalizing proofs in monadic languages (with a postscript by Georg Kreisel)., On the formal definition of categories, Nicolas Bourbaki and the concept of mathematical structure, The ignorance of Bourbaki, Fuzzy localized subrings, Lagrangian formalism over graded algebras, On Bourbaki's axiomatic system for set theory