Computational logic and set theory applying formalized logic to analysis

Computational logic and set theory applying formalized logic to analysis

Manylion Llyfryddiaeth
Prif Awdur: Schwartz, Jacob T.
Awdur Corfforaethol: SpringerLink (Online service)
Awduron Eraill: Caantone, Domenico, Omodeo, Eugenio G.
Fformat: Electronic Resource
Iaith:English
Cyhoeddwyd: London Springer London 2011.
Pynciau:
Set theory.
Electronic books.
Mynediad Ar-lein:Available for University of the Philippines Diliman via SpringerLink. Click here to access