Результаты исследований: Вклад в журнал › Статья › Рецензирование
Результаты исследований: Вклад в журнал › Статья › Рецензирование
}
TY - JOUR
T1 - FAILURE OF INTERPOLATION IN CONSTANT DOMAIN INTUITIONISTIC LOGIC
AU - Mints, Grigori
AU - Olkhovikov, Grigory
AU - Urquhart, Alasdair
PY - 2013
Y1 - 2013
KW - THEOREM
UR - http://www.scopus.com/inward/record.url?scp=84925270890&partnerID=8YFLogxK
UR - https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=tsmetrics&SrcApp=tsm_test&DestApp=WOS_CPL&DestLinkType=FullRecord&KeyUT=000324845100012
U2 - 10.2178/jsl.7803120
DO - 10.2178/jsl.7803120
M3 - Article
AN - SCOPUS:84925270890
VL - 78
SP - 937
EP - 950
JO - Journal of Symbolic Logic
JF - Journal of Symbolic Logic
SN - 0022-4812
IS - 3
ER -
ID: 894958