https://pdfjulh.blogspot.com/2023/02/logic-and-set-theory-with-applications.html