Enderton01] A Mathematical Introduction to Logic, Second Edition (2001)

by H B Enderton