Pages that link to "Item:Q1143390"

The following pages link to A constructive proof of Craig's interpolation lemma for m-valued logic (Q1143390):

Displaying 1 item.

• Interpolation theorem in many-valued logics with designated values (Q911578) (← links)