Pages that link to "Item:Q2974784"
From MaRDI portal
The following pages link to On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC (Q2974784):
Displayed 2 items.
The following pages link to On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC (Q2974784):
Displayed 2 items.