1. Brouwer, L.E.J.: Essentieel negatieve eigenschappen. Indag. Math. 10, 322–323 (1948)
2. Oxford Logic Guides;AV Chagrov,1997
3. Lecture Notes in Computer Science;D Jongh de,2011
4. Diego, A.: Sur les Algèbres de Hilbert, vol. 21. E. Nauwelaerts, Gauthier-Villars, Louvain (1966)
5. Enderton, H.B.: A Mathematical Introduction to Logic. Harcourt/Academic Press, Burlington (2001)