Catalog

Record Details

Catalog Search



Computational Logic and Set Theory [electronic resource] : Applying Formalized Logic to Analysis / by Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo.

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: 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.

Additional Resources