User:Rami Ad/Books/Logic

Mathematical Structure First-order logic

 * Structure (mathematical logic)
 * First-order logic