Computational logic and set theory applying formalized logic to analysis

Computational logic and set theory applying formalized logic to analysis

Podrobná bibliografie
Hlavní autor: Schwartz, Jacob T.
Korporativní autor: SpringerLink (Online service)
Další autoři: Caantone, Domenico, Omodeo, Eugenio G.
Médium: Electronic Resource
Jazyk:English
Vydáno: London Springer London 2011.
Témata:
Set theory.
Electronic books.
On-line přístup:Available for University of the Philippines Diliman via SpringerLink. Click here to access