Computational Logic and Set Theory
de Jacob T. T. Schwartz, Martin Davis, Domenico Cantone, Eugenio G. Omodeo
Ediciones (3)
- Computational Logic and Set Theory (2014)
Springer · ISBN 9781447160182
- Computational Logic and Set Theory (2011)
Springer · ISBN 9780857298096
- Computational Logic and Set Theory (2005)
Springer-Verlag New York Inc. · ISBN 9780387407623