-
[11] J. Pelletier, A. P. Hazen, A history of natural deduction, [in:] D. Gabbay, F. J. Pelletier, E. Woods (eds.), Handbook of the History of Logic, vol. 11, North-Holland, Amsterdam (2012), pp. 341–414, DOI: http://dx.doi.org/10.1016/B978-0-444-52937-4.50007-1
-
[12] E. Schechter, Constructivism is di_cult, American Mathematical Monthly, vol. 108 (2001), pp. 50–54, DOI: http://dx.doi.org/10.1080/00029890.2001.11919720
-
[13] R. Sikorski, Boolean Algebras, 2nd ed., Springer, Berlin (1964), DOI: http://dx.doi.org/10.1007/978-3-662-01507-0