Computational logic and set theory applying formalized logic to analysis

Computational logic and set theory applying formalized logic to analysis

Dades bibliogràfiques
Autor principal: Schwartz, Jacob T.
Autor corporatiu: SpringerLink (Online service)
Altres autors: Caantone, Domenico, Omodeo, Eugenio G.
Format: Electronic Resource
Idioma:English
Publicat: London Springer London 2011.
Matèries:
Set theory.
Electronic books.
Accés en línia:Available for University of the Philippines Diliman via SpringerLink. Click here to access