Mathematical Problems from Applied Logic I Logics for the XXIst Century / [electronic resource] :
edited by Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev.
- New York, NY : Springer Science+Business Media, Inc., 2006.
- v.: digital
- International Mathematical Series, 4 1571-5485 ; .
9780387310725
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