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  - 2024-11-21T23:52:40
ER  -