Mathematical Problems from Applied Logic I Logics for the XXIst Century - Gabbay, Dov M.; Goncharov, Sergei S.; Zakharyaschev, Michael; SpringerLink (Online service) (New York, NY : Springer New York, 2006)
Keywords: 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