Catalog

Record Details

Catalog Search


Search Results Showing Item 23 of 922

Mathematical Problems from Applied Logic I Logics for the XXIst Century

Electronic resources

Record details

  • ISBN: 9780387310725
  • Physical Description: electronic
    electronic resource
    access
    remote
    XXVIII, 348 p. online resource.
  • Publisher: New York, NY : Springer New York, 2006.
Subject: Mathematics
Logic
Logic design
Computer science
Logic, Symbolic and mathematical
Mathematics
Mathematical Logic and Foundations
Logic
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Mathematics of Computing
Search Results Showing Item 23 of 922

Additional Resources