First-order logic: an introduction See original record