Logic, Semantics, Metamathematics by Alfred Tarski & John Corcoran