RUS  ENG
Full version
JOURNALS // Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika // Archive
Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2006 Number 1, Pages 52–53 (Mi vmumm1107)
Short notes

Minimal models and the complexity of fragments of the logic of proofs

N. V. Krupskii


UDC: 510.66

Received: 01.10.2004



Bibliographic databases:

© Steklov Math. Inst. of RAS, 2026