Pages that link to "Item:Q5791195"
From MaRDI portal
The following pages link to Foundations of mathematics for the working mathematician (Q5791195):
Displayed 10 items.
- Top-down and bottom-up philosophy of mathematics (Q360438) (← links)
- The happy formalist (Q752675) (← links)
- Unordered pairs in the set theory of Bourbaki 1949 (Q849219) (← links)
- Generalizing proofs in monadic languages (with a postscript by Georg Kreisel). (Q930260) (← links)
- On the formal definition of categories (Q1130907) (← links)
- Nicolas Bourbaki and the concept of mathematical structure (Q1198412) (← links)
- The ignorance of Bourbaki (Q1200112) (← links)
- Fuzzy localized subrings (Q1273618) (← links)
- Lagrangian formalism over graded algebras (Q1912263) (← links)
- On Bourbaki's axiomatic system for set theory (Q2263057) (← links)