, Oxford University Press, 1994, ISBN 0198538596 "Tarski 's definition of truth' 'in terms of a T-schema for first-order logic is an example of fully interpreted formal language ; all its sentences have meanings that make them either true or false.
Exemples