Catalog

Record Details

Catalog Search


Search Results Showing Item 2 of 883

Computational Logic and Set Theory Applying Formalized Logic to Analysis

Schwartz, Jacob T. (Author). Cantone, Domenico. (Added Author). Omodeo, Eugenio G. (Added Author). SpringerLink (Online service) (Added Author).

Electronic resources

Record details

  • ISBN: 9780857298089
  • Physical Description: electronic
    electronic resource
    access
    remote
    XVII, 416p. 2 illus. digital.
  • Publisher: London : Springer London, 2011.
Subject: Computer science
Computer Science
Computer Science, general
Computation by Abstract Devices
Mathematical Logic and Formal Languages
Search Results Showing Item 2 of 883

Additional Resources