Computational Logic and Set Theory - Schwartz, Jacob T.; Cantone, Domenico; Omodeo, Eugenio G.; Davis, Martin (Springer London, 2011)
Keywords: Information Technology -- Computer Science (Hardware & Networks)