Intuitionistic Decision Procedures Since Gentzen.

Autor: Dyckhoff, Roy
Zdroj: Advances in Proof Theory; 2016, p245-267, 23p
Databáze: Complementary Index
Externí odkaz: