RUS  ENG
Full version
JOURNALS // Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika // Archive
Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1996 Number 1, Pages 12–16 (Mi vmumm1960)
Mathematics

Axiom systems and models for first-order theories with a provability operator

R. È. Yavorskii


UDC: 510.6

Received: 25.05.1994



Bibliographic databases:

© Steklov Math. Inst. of RAS, 2026