Computational logic and set theory : applying formalized logic to analysis /

Bibliographic Details
Main Author: Schwartz, Jacob T.
Other Authors: Cantone, Domenico, Omodeo, Eugenio G.
Format: eBook
Language:English
Published: New York : Springer, 2011.
Subjects:
Online Access:Connect to the full text of this electronic book

Similar Items