The following pages link to On Free Description Theory (Q5549030):
Displaying 4 items.
- Incomplete symbols -- definite descriptions revisited (Q253123) (← links)
- Spring Meeting of the Association for Symbolic Logic, San Francisco, 1991 (Q4008763) (← links)
- Definite Descriptions in Intuitionist Positive Free Logic (Q5013624) (← links)
- Nonstandard theories of quantification and identity (Q5608742) (← links)