scientific article
From MaRDI portal
Publication:2784584
zbMath1008.03015MaRDI QIDQ2784584
Christian G. Fermüller, Matthias Baaz, Agata Ciabattoni
Publication date: 31 March 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC ⋮ On the concurrent computational content of intermediate logics
This page was built for publication:
