Books on Amazon
|Tarski I 144
T-Schema/Tarski: left: name of the statement (in quotes) - can also be marking or spelling - "p": any statement - "x": replaces the name of this statement - then we ask for the logical relationship between the statements "x is true" and "p".
"p" will be replaced by a statement and "x" by the name of that statement - the schema itself is not the truth-definition.
Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983