Introduction to Logic. Michael Genesereth

Программы. Synthesis Lectures on Computer Science