Research output: Contribution to journal › Article › peer-review
Research output: Contribution to journal › Article › peer-review
}
TY - JOUR
T1 - MODEL-THEORETIC CHARACTERIZATION OF INTUITIONISTIC PROPOSITIONAL FORMULAS
AU - Olkhovikov, Grigory K.
PY - 2013/6
Y1 - 2013/6
UR - http://www.scopus.com/inward/record.url?scp=84878330076&partnerID=8YFLogxK
UR - https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=tsmetrics&SrcApp=tsm_test&DestApp=WOS_CPL&DestLinkType=FullRecord&KeyUT=000319285400009
U2 - 10.1017/S1755020312000342
DO - 10.1017/S1755020312000342
M3 - Article
AN - SCOPUS:84878330076
VL - 6
SP - 348
EP - 365
JO - Review of Symbolic Logic
JF - Review of Symbolic Logic
SN - 1755-0203
IS - 2
ER -
ID: 906596