Catalog

Record Details

Catalog Search

[ 2 filters applied ]

Back To Results
Showing Item 2 of 2
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: 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 2 of 2

Additional Resources