1. Baudry, L. (1950). La Querelle des Future Contingents: Louvain 1465–1475, Vrin, Paris.
2. Belluce, L.P. (1964). Further results on infinite valued predicate logic. J. Symbolic Logic 29, 69–78.
3. Belluce, L.P. and Chang, C.C. (1963). A weak completeness theorem for infinite valued first-order logic. J. Symbolic Logic 28, 43–50.
4. Bernays, P. (1926). Axiomatische Untersuchungen des Aussagenkalküls der “Principia Mathematica”. Math. Zeitschr. 25, 305–320.
5. Bočvar, D.A. (1938). Ob odnom trechznačnom isčislenii i ego primenenii k analizu paradoksov klassičeskogo funkcional’nogo isčislenija. Mat. Sbornik 4(46), 287–308.