Catalog

Record Details

Catalog Search


Search Results Showing Item 33 of 292

Electronic resources

Record details

  • ISBN: 9781447141297
  • Physical Description: electronic
    electronic resource
    access
    remote
    XV, 346 p. 79 illus. online resource.
  • Edition: 3rd ed. 2012.
  • Publisher: London : Springer London : 2012.
Subject: Computer science
Logic, Symbolic and mathematical
Computer Science
Mathematical Logic and Formal Languages
Mathematical Logic and Foundations
Search Results Showing Item 33 of 292

Additional Resources