Pages that link to "Item:Q2115288"
From MaRDI portal
The following pages link to A binary quantifier for definite descriptions for cut free free logics (Q2115288):
Displaying 1 item.
The following pages link to A binary quantifier for definite descriptions for cut free free logics (Q2115288):
Displaying 1 item.