Books on Amazon
|Truth Predicate||Horwich I 118
"true" / meta language / Tarski: "true" must be regarded as an undefined concept of m.l. in order to formulate fundamental properties of the concept of truth in some axioms - (which can be avoided, however).
Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983
P. Horwich (Ed.)
Theories of Truth Aldershot 1994