Catalog

Record Details

Catalog Search



Electronic resources

Record details

  • ISBN: 9783642110801
  • Physical Description: electronic
    electronic resource
    access
    remote
    285p. digital.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
Subject: Mathematics
Logic, Symbolic and mathematical
Mathematics
Mathematical Logic and Foundations

Additional Resources