×

zbMATH — the first resource for mathematics

Beth’s theorem and self-referential sentences. (English) Zbl 0453.03018
Logic colloquium ’77, Proc., Wroclaw 1977, Stud. Logic Found. Math. Vol. 96, 253-261 (1978).

MSC:
03B45 Modal logic (including the logic of norms)
03F30 First-order arithmetic and fragments
03F50 Metamathematics of constructive systems