Pages that link to "Item:Q4237679"
From MaRDI portal
The following pages link to A normalization procedure for the equational fragment of labelled natural deduction (Q4237679):
Displayed 3 items.
The following pages link to A normalization procedure for the equational fragment of labelled natural deduction (Q4237679):
Displayed 3 items.