![](/img/cover-not-exists.png)
Omitting Types in an Intermediate Logic
Seyed-Mohammad Bagheri, Massoud PourmahdianVolume:
97
Language:
english
Pages:
10
DOI:
10.1007/s11225-011-9310-x
Date:
April, 2011
File:
PDF, 179 KB
english, 2011