Logic: Reference Book for Computer Scientists

DOI10.1007/978-3-031-42034-4zbMath1529.68008MaRDI QIDQ6181540

Lech T. Polkowski

Publication date: 2 January 2024

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

zbMATH Keywords

rough setsmodal logicfirst-order logicpropositional logicmany-valued logictemporal logic

Mathematics Subject Classification ID

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

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