First Logic by Michael F. Goodman