Logic: A Brief Course
From MaRDI portal
Publication:3114199
DOI10.1007/978-88-470-2361-1zbMath1235.03001OpenAlexW656515253MaRDI QIDQ3114199
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
normal formcompletenesspropositional logiccompactnesssemanticsresolutionequalityproofpredicate logicmodelsyntaxrefutation
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