Topic: Algebra, Boolean

Topic: First-order logic

Author: Mora Espinosa, Carlos Fernando