Computational Logic and Set Theory

Full text!
Format:
e-book
Title:
Computational Logic and Set Theory
Author:
Schwartz, Jacob T.; Cantone, Domenico; Omodeo, Eugenio G.; Davis, Martin
Language:
English
Publisher:
Springer London 2011
ISBN:
0-85729-807-0
1-4471-6018-5
0-85729-808-9
Subject:
Information Technology Computer Science (Hardware & Networks)
Permalink:
http://bibtest.howest.be/catalog/ebk03:2550000000041378?locale=en