Logics for Computer Science

DOI10.1007/978-3-319-92591-2MaRDI QIDQ4561681zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• scientific article; zbMATH DE number 49445
• scientific article; zbMATH DE number 1241698
• Logic for computer scientists
• Logic for computer scientists
• scientific article; zbMATH DE number 824081
• scientific article; zbMATH DE number 4037804
• Logic for computer scientists
• scientific article; zbMATH DE number 54163
• scientific article; zbMATH DE number 1461245

Cited in

(10)

• Elementary logic with applications. A procedural perspective for computer scientists
• scientific article; zbMATH DE number 638618 (Why is no real title available?)
• scientific article; zbMATH DE number 2116161 (Why is no real title available?)
• scientific article; zbMATH DE number 4121954 (Why is no real title available?)
• Computational logic. Volume 1: Classical deductive computing with classical logic
• Logic: Reference Book for Computer Scientists
• Logics for computer and data sciences, and artificial intelligence
• Logics for complexity classes
• scientific article; zbMATH DE number 2205635 (Why is no real title available?)
• Logic(s), formal languages and complexity for computer science

This page was built for publication: Logics for Computer Science

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