TY - BOOK AU - Gabbay,Dov M. AU - Goncharov,S.S. AU - Zakharyaschev,Michael ED - SpringerLink (Online service) TI - Mathematical problems from applied logic II SN - 9780387692456 (electronic bk.) PY - 2007/// CY - New York, NY PB - Springer Science+Business Media, LLC KW - Logic, Symbolic and mathematical KW - Mathematics KW - Mathematical Logic and Foundations N1 - Includes bibliographical references and index UR - https://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/978-0-387-69245-6 ER -