RUS  ENG
Full version
JOURNALS // Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika // Archive
Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1993 Number 3, Pages 14–17 (Mi vmumm2367)
Mathematics

Undecidability of a second-order provability logic with witness comparison

P. G. Naumov


UDC: 560.65

Received: 13.07.1992



Bibliographic databases:

© Steklov Math. Inst. of RAS, 2024