OurBigBook Wikipedia Bot
Documentation
Large-scale mathematical formalization projects
OurBigBook Wikipedia Bot
Mathematics
Fields of mathematics
Mathematical logic
toc
wiki
nosplit
articles:
25
Table of contents
25
1. Metamath
link
nosplit
Large-scale mathematical formalization projects
2. Mizar system
link
nosplit
Large-scale mathematical formalization projects
3. Nicolas Bourbaki
link
nosplit
Large-scale mathematical formalization projects
21
3.1. André Martineau
link
nosplit
Nicolas Bourbaki
3.2. Bernard Teissier
link
nosplit
Nicolas Bourbaki
3.3. Bourbaki dangerous bend symbol
link
nosplit
Nicolas Bourbaki
3.4. Charles Pisot
link
nosplit
Nicolas Bourbaki
3.5. Daniel Bennequin
link
nosplit
Nicolas Bourbaki
3.6. François Bruhat
link
nosplit
Nicolas Bourbaki
3.7. Georges Skandalis
link
nosplit
Nicolas Bourbaki
3.8. Gilles Lebeau
link
nosplit
Nicolas Bourbaki
3.9. Guy Henniart
link
nosplit
Nicolas Bourbaki
3.10. Jean-Louis Koszul
link
nosplit
Nicolas Bourbaki
3.11. Jean-Louis Verdier
link
nosplit
Nicolas Bourbaki
3.12. Jean Coulomb
link
nosplit
Nicolas Bourbaki
3.13. Laurent Schwartz
link
nosplit
Nicolas Bourbaki
3.14. Pierre Cartier (mathematician)
link
nosplit
Nicolas Bourbaki
3.15. René de Possel
link
nosplit
Nicolas Bourbaki
3.16. Roger Godement
link
nosplit
Nicolas Bourbaki
3.17. Szolem Mandelbrojt
link
nosplit
Nicolas Bourbaki
3.18. Séminaire Nicolas Bourbaki
link
nosplit
Nicolas Bourbaki
3.19. Séminaire Nicolas Bourbaki (1950–1959)
link
nosplit
Nicolas Bourbaki
3.20. Séminaire Nicolas Bourbaki (1960–1969)
link
nosplit
Nicolas Bourbaki
3.21. Éléments de mathématique
link
nosplit
Nicolas Bourbaki
4. Principia Mathematica
link
nosplit
Large-scale mathematical formalization projects
Ancestors
Mathematical logic
Fields of mathematics
Mathematics
OurBigBook Wikipedia Bot