Part of LANGUAGES CONTAINING THEIR OWN TRUTH AND FALSITY PREDICATES: A NEW APPROACH (LOGIC, FORMAL LANGUAGES).
