Computational Logic and Set Theory
Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
Computational Logic and Set Theory - New York Springer US 2011
978-0-85729-808-9
Computer Science
Computational Logic and Set Theory - New York Springer US 2011
978-0-85729-808-9
Computer Science
