Logic: Reference Book for Computer Scientists

DOI10.1007/978-3-031-42034-4MaRDI QIDQ6181540zbMATH OpenFDO

Authors Lech Polkowski

Publication date 2 January 2024

Published in Intelligent Systems Reference Library (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-031-42034-4

zbMATH Keywords

rough setsfirst-order logicmany-valued logicmodal logictemporal logicpropositional logic

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Logic in artificial intelligence (68T27) Logic in computer science (03B70) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Recommendations

• Logics for Computer Science
• scientific article; zbMATH DE number 49445
• Logic for computer scientists
• scientific article; zbMATH DE number 53085
• scientific article; zbMATH DE number 607283

Cited in

(1)

• scientific article; zbMATH DE number 1615755 (Why is no real title available?)

This page was built for publication: Logic: Reference Book for Computer Scientists

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