Bibliography

This is an ad-hoc bibliography while I try to figure out how to make mdbook-bib cooperate.

• CLL or also here
• the BPFK Sections
• The proposed fourth tense in Lojban
• Relational Set Theory, Kawahara 2006
• Set theory for category theory, Shulman 2008
• Rethinking Set Theory, Leinster 2012
• Five Stages of Accepting Constructive Mathematics, Bauer 2016
• Knowledge Representation in Bicategories of Relations, Patterson 2017
• 1Lab, the 1Lab development team 2021
• Arithmetic Without the Successor Axiom, Boucher 2006