TY - BOOK AU - Makinson,David AU - Malinowski,Jacek AU - Wansing,Heinrich ED - SpringerLink (Online service) TI - Towards mathematical philosophy: papers from the Studia Logica Conference Trends in Logic IV SN - 9781402090844 (electronic bk.) U1 - 511.3 22 PY - 2009/// CY - Dordrecht PB - Springer Netherlands KW - Logic, Symbolic and mathematical KW - Congresses KW - Mathematics KW - Philosophy KW - Arithmetic and Logic Structures KW - Computational Linguistics KW - Logic KW - Mathematical Logic and Formal Languages KW - Mathematical Logic and Foundations UR - https://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/978-1-4020-9084-4 ER -