TY -
GEN
AU - Belnap, Nuel D.
AU - Mueller, Thomas
TI -
CIFOL
Case-Intensional First Order Logic ; (I) Toward a Theory of Sorts
PB - Bibliothek der Universität Konstanz
PY - 2014
N2 - Aus: Journal of Philosophical Logic ; 43 (2014), 2-3. - S. 393-437
CY - Konstanz
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -