Logica
From MaRDI portal
Publication:5405106
DOI10.1007/978-88-470-5538-4zbMath1305.03001OpenAlexW4255747118MaRDI QIDQ5405106
Lorenzo Tortora de Falco, V. Michele Abrusci
Publication date: 31 March 2014
Published in: UNITEXT (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-88-470-5538-4
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10) Cut-elimination and normal-form theorems (03F05) Basic properties of first-order languages and structures (03C07)
This page was built for publication: Logica