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 -
Download citation