Computational logic and set theory applying formalized logic to analysis

Dettagli Bibliografici
Autore principale: Schwartz, Jacob T.
Ente Autore: SpringerLink (Online service)
Altri autori: Caantone, Domenico, Omodeo, Eugenio G.
Natura: Electronic Resource
Lingua:inglese
Pubblicazione: London Springer London 2011.
Soggetti:
Accesso online:Available for University of the Philippines Diliman via SpringerLink. Click here to access