Mathematical problems from applied logic II
Mathematical problems from applied logic II [electronic resource] /
Logics for the XXIst century
edited by Dov M. Gabbay, S. S Goncharov, Michael Zakharyaschev.
- New York, NY : Springer Science+Business Media, LLC, 2007.
- xxix, 351 p. : ill., digital ; 25 cm.
- International mathematical series ; 5 .
Includes bibliographical references and index.
9780387692456 (electronic bk.) 9780387692449 (paper)
Logic, Symbolic and mathematical.
Mathematics.
Mathematical Logic and Foundations.
Includes bibliographical references and index.
9780387692456 (electronic bk.) 9780387692449 (paper)
Logic, Symbolic and mathematical.
Mathematics.
Mathematical Logic and Foundations.