TY - BOOK AU - Forster,Thomas TI - Reasoning about theoretical entities T2 - Advances in logic SN - 9812385673 AV - QA9.4 .F67 2003 PY - 2003/// CY - River Edge, NJ PB - World Scientific KW - Logic, Symbolic and mathematical KW - Reductionism KW - Cardinal numbers ER -