Logica

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

Mathematics Subject Classification ID

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