TY - BOOK AU - Grünberg,Teo TI - Symbolic logic T2 - Middle East Technical University AV - BC135 .G76 1972 PY - 1972/// CY - Ankara PB - METU KW - Mantık, Sembolik ve matematiksel KW - Logic, Symbolic and mathematical KW - Mantık KW - Logic ER -