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