Logical foundations of computer science. In 2 volumes. Vol 1: propositional logic. Vol 2: predicate logic
From MaRDI portal
Publication:6601724
DOI10.1142/13714MaRDI QIDQ6601724
Dan A. Simovici, Peter A. Fejer
Publication date: 10 September 2024
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Logic in computer science (03B70) Classical first-order logic (03B10) Classical propositional logic (03B05)
This page was built for publication: Logical foundations of computer science. In 2 volumes. Vol 1: propositional logic. Vol 2: predicate logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6601724)
