Logic: A Brief Course

DOI10.1007/978-88-470-2361-1zbMath1235.03001OpenAlexW656515253MaRDI QIDQ3114199

Daniele Mundici

Publication date: 1 February 2012

Published in: UNITEXT (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-88-470-2361-1

zbMATH Keywords

normal formcompletenesspropositional logiccompactnesssemanticsresolutionequalityproofpredicate logicmodelsyntaxrefutation

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10) Classical propositional logic (03B05) Gödel numberings and issues of incompleteness (03F40)

This page was built for publication: Logic: A Brief Course