Computational logic and set theory applying formalized logic to analysis

Computational logic and set theory applying formalized logic to analysis

Xehetasun bibliografikoak
Egile nagusia: Schwartz, Jacob T.
Erakunde egilea: SpringerLink (Online service)
Beste egile batzuk: Caantone, Domenico, Omodeo, Eugenio G.
Formatua: Electronic Resource
Hizkuntza:English
Argitaratua: London Springer London 2011.
Gaiak:
Set theory.
Electronic books.
Sarrera elektronikoa:Available for University of the Philippines Diliman via SpringerLink. Click here to access