TY - BOOK AU - Walicki,MichaƂ TI - Introduction to mathematical logic SN - 9789814343862 AV - QA9 .W34 2012 PY - 2012/// CY - London PB - World Scientific KW - Logic, Symbolic and mathematical ER -