Navigation
Logic Group Preprint Series
'
Logic Group Preprint Series
Skip to content
Müller, Thomas
Volume
Title
300
CIFOL: Case-intensional first order logic. (I) Toward a theory of sorts
Belnap, Nuel
|
Müller, Thomas
Online