Pages that link to "Item:Q5628098"
From MaRDI portal
The following pages link to Simple type theory of Gentzen style with the inference of extensionality (Q5628098):
Displayed 2 items.
The following pages link to Simple type theory of Gentzen style with the inference of extensionality (Q5628098):
Displayed 2 items.