Preface to Locus Solum
From MaRDI portal
Publication:2732137
DOI10.1017/S0960129501003371zbMath1051.03044OpenAlexW2054773345MaRDI QIDQ2732137
Publication date: 23 July 2001
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129501003371
Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Abstract deductive systems (03B22) Proof theory and constructive mathematics (03Fxx)
This page was built for publication: Preface to Locus Solum