1. Balbes, R. and Dwinger, P. (1974). Distributive lattices. University of Missouri Press, Columbia, MO.
2. Barrett, T. W. and Halvorson, H. (2017). Quine’s conjecture on many-sorted logic. Synthese, 194(9):3563–3582.
3. Bezem, M. and Coquand, T. (2005). Automating coherent logic. In Logic for programming, artificial intelligence, and reasoning. 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2–6, 2005. Proceedings, pages 246–260. Berlin: Springer.
4. Bezem, M. and Coquand, T. (2019). Skolem’s theorem in coherent logic. Fundam. Inform.
5. Bishop, E. (1967). Foundations of constructive analysis. McGraw-Hill, New York.