This textbook covers the key material for a typical first course in logic for undergraduates or first-year graduate students, in …