TY - CHAP LA - eng PY - 1978 SN - 90-277-0778-2 TI - The introduction of truth predicates into first-order-languages UR - https://nbn-resolving.org/urn:nbn:de:0070-bipr-30692 Y2 - 2026-02-15T10:36:00 ER -