This undergraduate textbook covers the key material for a typical first course in logic, in particular presenting a full mathematical …
