Mathematical problems from applied logic II - Gabbay, Dov M., 1945-; Goncharov, S. S.; Zakharyaschev, Michael; SpringerLink (Online service) (New York, NY : Springer Science+Business Media, LLC, 2007)
Includes bibliographical references and index.
Keywords: Logic, Symbolic and mathematical; Mathematics; Mathematical Logic and Foundations