Pages that link to "Item:Q5737940"

The following pages link to PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS (Q5737940):

Displaying 2 items.

• Essential structure of proofs as a measure of complexity (Q2183713) (← links)
• REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION (Q5009679) (← links)