Introduction to logic

DOI10.2200/S00518ED2V01Y201306CSL006MaRDI QIDQ2843868zbMATH OpenFDO

Authors Michael Genesereth, Eric Kao

Publication date 26 August 2013

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

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

Mathematics Subject Classification ID

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

Recommendations

• Introduction to logic
• scientific article; zbMATH DE number 2199903
• Introduction to Logic, Third Edition
• scientific article; zbMATH DE number 5081833
• Introduction to logic
• scientific article; zbMATH DE number 5867873
• scientific article; zbMATH DE number 1278449
• Logic. An introduction
• scientific article; zbMATH DE number 930362

Cited in

(6)

• A Logical Introduction to Proof
• scientific article; zbMATH DE number 5867873 (Why is no real title available?)
• scientific article; zbMATH DE number 5081833 (Why is no real title available?)
• scientific article; zbMATH DE number 1182727 (Why is no real title available?)
• scientific article; zbMATH DE number 2048497 (Why is no real title available?)
• scientific article; zbMATH DE number 1439714 (Why is no real title available?)

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 Q2843868)