Michael R. Genesereth, Eric Kao. Introduction to Logic, Third Edition. Synthesis Lectures on Computer Science, Morgan & Claypool Publishers, 2016. [doi]
@book{synthesis-2016Genesereth,
title = {Introduction to Logic, Third Edition},
author = {Michael R. Genesereth and Eric Kao},
year = {2016},
doi = {10.2200/S00734ED2V01Y201609CSL008},
url = {http://dx.doi.org/10.2200/S00734ED2V01Y201609CSL008},
researchr = {https://researchr.org/publication/synthesis-2016Genesereth},
cites = {0},
citedby = {0},
series = {Synthesis Lectures on Computer Science},
publisher = {Morgan & Claypool Publishers},
}