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 logicGentzen style proof systemsGödel theoremsHilbert proof systemsintuitionistic semanticsQRS proof systems

Mathematics Subject Classification ID

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

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)

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

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)