Computational logic and set theory applying formalized logic to analysis

Computational logic and set theory applying formalized logic to analysis

Bibliographic Details
Main Author: Schwartz, Jacob T.
Corporate Author: SpringerLink (Online service)
Other Authors: Caantone, Domenico, Omodeo, Eugenio G.
Format: Electronic Resource
Language:English
Published: London Springer London 2011.
Subjects:
Set theory.
Electronic books.
Online Access:Available for University of the Philippines Diliman via SpringerLink. Click here to access