Media type: E-Book Title: CIFOL : Case-Intensional First Order Logic ; (I) Toward a Theory of Sorts Contributor: Belnap, Nuel D. [Author]; Mueller, Thomas [Author] imprint: Konstanz: Bibliothek der Universität Konstanz, 2014 Extent: Online-Ressource Language: English Identifier: Origination: Footnote: Aus: Journal of Philosophical Logic ; 43 (2014), 2-3. - S. 393-437 Access State: Open Access