Introduction to Logic

DOI10.2200/S00432ED1V01Y201207CSL005zbMATH Open1264.03001OpenAlexW4237601745MaRDI QIDQ4905122

Eric Kao, Michael Genesereth

Publication date: 15 February 2013

Published in: Synthesis Lectures on Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2200/s00432ed1v01y201207csl005

zbMATH Keywords

first-order logicartificial intelligencepropositional logicreasoningdeductionformal logicsymbolic logicHerbrand logic

Mathematics Subject Classification ID

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

Related Items (5)

Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Introduction to logic

This page was built for publication: Introduction to Logic

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