Introduction to logic

DOI10.2200/S00518ED2V01Y201306CSL006zbMATH Open1271.03002MaRDI QIDQ2843868

Eric Kao, Michael Genesereth

Publication date: 26 August 2013

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

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 (6)

A Logical Introduction to Proof ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?)

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• 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, Third Edition 👍 👎
• 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 Q2843868)