Computational logic and set theory applying formalized logic to analysis - Schwartz, Jacob T.; Caantone, Domenico; Omodeo, Eugenio G.; SpringerLink (Online service). (London Springer London, 2011)
Electronic reproduction.
Keywords: Set theory; Electronic books