Pages that link to "Item:Q5791195"
From MaRDI portal
The following pages link to Foundations of mathematics for the working mathematician (Q5791195):
Displaying 19 items.
- Top-down and bottom-up philosophy of mathematics (Q360438) (← links)
- The happy formalist (Q752675) (← links)
- Equivalences induced by infinitely generated silting modules (Q829528) (← 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)
- The structuralist mathematical style: Bourbaki as a case study (Q2080585) (← links)
- Models and modelling in computer science (Q2117608) (← links)
- On Bourbaki's axiomatic system for set theory (Q2263057) (← links)
- Diagrams in mathematics (Q2289698) (← links)
- Mathias and set theory (Q2813682) (← links)
- Polycephalic Euclid? Collective Practices in Bourbaki’s History of Mathematics (Q5378068) (← links)
- On the differentiation of integrals in measure spaces along filters. II. (Q6577068) (← links)
- The philosophy of logic of John Corcoran (Q6610493) (← links)
- Coping with inconsistencies in legal reasoning (Q6618559) (← links)
