TY - BOOK AU - Walicki, Michal TI - Introduction to mathematical logic SN - 9789814343879 U1 - 511.3 WAL-M PY - 2012/// CY - India PB - World Scientific KW - Logic, Symbolic and mathematical ER -