Articles

An analytic calculus for the intuitionistic logic of proofs

B. HILL, F. POGGIOLESI

Notre Dame Journal of Formal Logic

A paraître

Départements : Economie et Sciences de la décision, GREGHEC (CNRS)



JavaScriptSettings