Computational Logic and Set Theory

MLA

Schwartz, Jacob T, et al. Computational Logic and Set Theory. Springer London, 2011.

APA

Schwartz, J. T, Cantone, D., Omodeo, E. G, & Davis, M. (2011). Computational Logic and Set Theory. Springer London.

Chicago

Schwartz, Jacob T., Domenico Cantone, Eugenio G Omodeo, and Martin Davis. Computational Logic and Set Theory. : Springer London, 2011.