Category:Bourbaki Assemblies
Jump to navigation
Jump to search
This category contains results about Bourbaki Assemblies.
Definitions specific to this category can be found in Definitions/Bourbaki Assemblies.
An assembly is a succession of signs written one after another.
Certain signs which are not variables are allowed to be joined in pairs by links, as follows:
- $\overbrace {\tau A \Box}^{} A'$
This category currently contains no pages or media.