Logica

DOI10.1007/978-88-470-5538-4MaRDI QIDQ5405106zbMATH OpenOpenAlexFDO

Authors V. Michele Abrusci, Lorenzo Tortora de Falco

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

Cut-elimination and normal-form theorems (03F05) Classical first-order logic (03B10) Basic properties of first-order languages and structures (03C07) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Recommendations

• scientific article; zbMATH DE number 1751350
• scientific article; zbMATH DE number 1849875
• scientific article; zbMATH DE number 2134000
• scientific article; zbMATH DE number 4033738
• Logic and logic programming. Vol. 1: Foundations
• Collected works in ordered structures and mathematical logic. Volume 1
• scientific article; zbMATH DE number 3296221
• scientific article; zbMATH DE number 1526720
• scientific article; zbMATH DE number 607283

Cited in

(5)

• scientific article; zbMATH DE number 2134000 (Why is no real title available?)
• scientific article; zbMATH DE number 7370887 (Why is no real title available?)
• The mathematics of logic. A guide to completeness theorems and their applications
• scientific article; zbMATH DE number 1549026 (Why is no real title available?)
• Course of mathematical logic. Vol. 1: Relation and logical formula. Translation edited by David Louvish

This page was built for publication: Logica

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5405106)