Logic, Semantics, Metamathematics door Alfred Tarski & John Corcoran