User:Williamdemeo/Books/BasicLogic

Basic Logic

 * Atomic formula
 * Atomic sentence
 * First-order logic