Intuitionistic Decision Procedures Since Gentzen.
Autor: | Dyckhoff, Roy |
---|---|
Zdroj: | Advances in Proof Theory; 2016, p245-267, 23p |
Databáze: | Complementary Index |
Externí odkaz: |
Autor: | Dyckhoff, Roy |
---|---|
Zdroj: | Advances in Proof Theory; 2016, p245-267, 23p |
Databáze: | Complementary Index |
Externí odkaz: |