Computational logic and set theory applying formalized logic to analysis

Computational logic and set theory applying formalized logic to analysis

Bibliographische Detailangaben
1. Verfasser: Schwartz, Jacob T.
Körperschaft: SpringerLink (Online service)
Weitere Verfasser: Caantone, Domenico, Omodeo, Eugenio G.
Format: Electronic Resource
Sprache:English
Veröffentlicht: London Springer London 2011.
Schlagworte:
Set theory.
Electronic books.
Online Zugang:Available for University of the Philippines Diliman via SpringerLink. Click here to access