RUS  ENG
Full version
JOURNALS // Matematicheskie Zametki // Archive
Mat. Zametki, 1986 Volume 40, Issue 3, Pages 407–413 (Mi mzm5174)
Finite axiomatizability of locally tabular superintuitionistic logics

A. I. Citkin


UDC: 512

Received: 27.03.1985


 English version: Mathematical Notes, 1986, 40:3, 739–742

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2024