Cover Image
Read Now

1
by Schwartz, Jacob T., Cantone, Domenico, Omodeo, Eugenio G.
Published 2011
Springer London
“... on computational logic and set theory and its application to proof verification techniques, culminating...”