PROOF-THEORETIC SEMANTIC VALUES FOR LOGICAL OPERATORS
FRANCEZ, NISSIM, BEN-AVI, GILADТом:
4
Мова:
english
Журнал:
The Review of Symbolic Logic
DOI:
10.1017/s1755020311000098
Date:
September, 2011
Файл:
PDF, 116 KB
english, 2011