Computational logic and set theory applying formalized logic to analysis

Computational logic and set theory applying formalized logic to analysis

Detalles Bibliográficos
Autor principal: Schwartz, Jacob T.
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Caantone, Domenico, Omodeo, Eugenio G.
Formato: Electronic Resource
Lenguaje:English
Publicado: London Springer London 2011.
Materias:
Set theory.
Electronic books.
Acceso en línea:Available for University of the Philippines Diliman via SpringerLink. Click here to access