P. G. Naumov, “Undecidability of the Gödel–Löb logic with quantifiers with respect to propositional variables”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1993, Number 2,Pages <nobr>13

JOURNALS // Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika // Archive

Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1993 Number 2, Pages 13–16 (Mi vmumm2344)

Mathematics

Undecidability of the Gödel–Löb logic with quantifiers with respect to propositional variables

P. G. Naumov

UDC: 510.65

Received: 20.02.1992

Fulltext: PDF file (543 kB)

Bibliographic databases: