Mathematical Problems from Applied Logic II Logics for the XXIst Century - Gabbay, Dov M.; Zakharyaschev, Michael; Goncharov, Sergei S.; SpringerLink (Online service) (New York, NY : Springer New York, 2007)
Keywords: Mathematics; Logic, Symbolic and mathematical; Mathematics; Mathematical Logic and Foundations