University Of Zambia Online Public Access Catalogue
Schwartz, Jacob T.
Computational logic and set theory : applying formalized logic to analysis / Jacob T. Schwartz; Domenico Cantone and Eugenio G. Omodeo; foreword by Martin Davis - New York : Springer, 2011. - xvii, 416 pages : illustrations.
Includes index
9780857298072
Set theory
QA 248 / SCH 2011
Computational logic and set theory : applying formalized logic to analysis / Jacob T. Schwartz; Domenico Cantone and Eugenio G. Omodeo; foreword by Martin Davis - New York : Springer, 2011. - xvii, 416 pages : illustrations.
Includes index
9780857298072
Set theory
QA 248 / SCH 2011