A Curry-Howard view of basic justification logic.

Autor: Pouliasis, Konstantinos1
Zdroj: Logic Journal of the IGPL. Apr2017, Vol. 25 Issue 2, p269-270. 2p.
Databáze: Business Source Ultimate
Externí odkaz: