![](/img/cover-not-exists.png)
Omitting Types in an Intermediate Logic
Seyed-Mohammad Bagheri and Massoud PourmahdianVolume:
97
Language:
english
Journal:
Studia Logica: An International Journal for Symbolic Logic
DOI:
10.2307/41475158
Date:
April, 2011
File:
PDF, 771 KB
english, 2011