Introduction to Logic, Third Edition

DOI10.2200/S00734ED2V01Y201609CSL008zbMath1358.03001MaRDI QIDQ2970378

Eric J. Kao, Michael R. Genesereth

Publication date: 30 March 2017

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)

This page was built for publication: Introduction to Logic, Third Edition