Topic: Algebra, Boolean

Topic: First-order logic

Author: Nieto Sánchez, Julio César