Cover Image

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:
Set theory.
Electronic books.
Online Access:Connect to the full text of this electronic book
Description
Item Description:Electronic resource.
Physical Description:1 online resource.
Bibliography:Includes bibliographical references and index.
ISBN:0857298089 (electronic bk.)
9780857298089 (electronic bk.)
DOI:10.1007/978-0-85729-808-9