gaia

swMATH9607MaRDI QIDQ21587FDOQ21587

Author name not available (Why is that?)

Cited In (4)

• Representing model theory in a type-theoretical logical framework
• On Bourbaki's axiomatic system for set theory
• Title not available (Why is that?)
• Implementation of Bourbaki's Elements of Mathematics in Coq: Part Two, From Natural Numbers to Real Numbers

This page was built for software: gaia