Logics for Computer Science

DOI10.1007/978-3-319-92591-2zbMath1436.03002OpenAlexW3161587981MaRDI QIDQ4561681

Anita Wasilewska

Publication date: 12 December 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-92591-2

zbMATH Keywords

classical propositional logicintuitionistic semanticsGödel theoremsGentzen style proof systemsHilbert proof systemsQRS proof systems

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Logic in computer science (03B70) Classical first-order logic (03B10) Mathematics for nonmathematicians (engineering, social sciences, etc.) (00A06) Classical propositional logic (03B05)

This page was built for publication: Logics for Computer Science