scientific article
From MaRDI portal
Publication:2968408
DOI10.4230/LIPICS.TYPES.2013.24zbMath1359.03044MaRDI QIDQ2968408
Federico Aschieri, Margherita Zorzi
Publication date: 13 March 2017
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
First-order arithmetic and fragments (03F30) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)
Related Items (2)
On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC ⋮ GAME SEMANTICS AND THE GEOMETRY OF BACKTRACKING: A NEW COMPLEXITY ANALYSIS OF INTERACTION
This page was built for publication:
