SCHWARTZ, Jacob T.; CANTONE, Domenico a OMODEO, Eugenio. Computational logic and set theory: applying formalized logic to analysis. London: Springer, c2011. Dostupné z: https://doi.org/9780857298089.
APA CSE CSE NY ČSN ISO 690:2022 (číslování) ČSN ISO 690:2022 - autor, datum Harvard Chicago (16th edition) IEEE ISO 690 MLA (7th edition) Turabian (7th edition)