Catalog

Record Details

Catalog Search

[ 2 filters applied ]

Back To Results
Showing Item 36 of 922
Mathematical Problems from Applied Logic I Logics for the XXIst Century Cover Image E-book E-book

Mathematical Problems from Applied Logic I Logics for the XXIst Century

Gabbay, Dov M. (editor.). Goncharov, Sergei S. (editor.). Zakharyaschev, Michael. (editor.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9780387310725
  • Physical Description: electronic
    electronic resource
    access
    remote
    XXVIII, 348 p. online resource.
  • Publisher: New York, NY : Springer New York, 2006.

Search for related items by subject

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 for related items by series

Electronic resources

Texto completo

Back To Results
Showing Item 36 of 922

Additional Resources