A Mathematical Introduction to Logic (Hardcover, 3rd) (1086627)