Books on Amazon
|Berka I 399
Tarski-Schema/Tarski: the statement x is true iff p - "x" is replaced by a name of the statement "p" - a name that belongs to the meta language - the name of a statement is construed in everyday language with quotation marks.
Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983
K. Berka/L. Kreiser
Logik Texte Berlin 1983