Computational logic and set theory applying formalized logic to analysis

Computational logic and set theory applying formalized logic to analysis

מידע ביבליוגרפי
מחבר ראשי: Schwartz, Jacob T.
מחבר תאגידי: SpringerLink (Online service)
מחברים אחרים: Caantone, Domenico, Omodeo, Eugenio G.
פורמט: Electronic Resource
שפה:English
יצא לאור: London Springer London 2011.
נושאים:
Set theory.
Electronic books.
גישה מקוונת:Available for University of the Philippines Diliman via SpringerLink. Click here to access