Sets, logic and maths for computing
From MaRDI portal
Publication:5918852
DOI10.1007/978-3-030-42218-9zbMath1444.68004OpenAlexW4285718358MaRDI QIDQ5918852
Publication date: 2 June 2020
Published in: Undergraduate Topics in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-030-42218-9
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) Mathematics for nonmathematicians (engineering, social sciences, etc.) (00A06)
Related Items (3)
Mathematics in Computing ⋮ The Phenomenology of Second-Level Inference: Perfumes in The Deductive Garden ⋮ Relevance-Sensitive Truth-Trees
This page was built for publication: Sets, logic and maths for computing