Pages that link to "Definition:Gentzen Proof System/Instance 1/Alpha-Rule/Notation"
Jump to navigation
Jump to search
The following pages link to Definition:Gentzen Proof System/Instance 1/Alpha-Rule/Notation:
Displayed 1 item.
- Definition:Gentzen Proof System/Instance 1/Alpha-Rule (transclusion) (← links)