TY - BOOK AU - Walicki,Michal TI - Introduction to mathematical logic / PY - 2012/// CY - Singapore : PB - World Scientific Publishing , N1 - NULL ER -