Pages that link to "Item:Q2558215"
From MaRDI portal
The following pages link to Ein syntaktischer Beweis für die Zulässigkeit der Schnittregel im Kalkül von Schütte für die intuitionistische Typenlogik (Q2558215):
Displayed 2 items.