Computational logic and set theory applying formalized logic to analysis

Computational logic and set theory applying formalized logic to analysis

Détails bibliographiques
Auteur principal: Schwartz, Jacob T.
Collectivité auteur: SpringerLink (Online service)
Autres auteurs: Caantone, Domenico, Omodeo, Eugenio G.
Format: Electronic Resource
Langue:English
Publié: London Springer London 2011.
Sujets:
Set theory.
Electronic books.
Accès en ligne:Available for University of the Philippines Diliman via SpringerLink. Click here to access