RUS  ENG
Full version
JOURNALS // Diskretnaya Matematika // Archive
Diskr. Mat., 2013 Volume 25, Issue 3, Pages 38–63 (Mi dm1246)
Criterion for propositional calculi to be finitely generated

G. V. Bokov


UDC: 510.511+519.716.3

Received: 07.06.2013

DOI: 10.4213/dm1247


 English version: Discrete Mathematics and Applications, 2013, 23:5-6, 399–427

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2026