TY - BOOK AU - Nesin,Ali ED - İstanbul Bilgi Üniversitesi. TI - Önermeler mantığı T2 - İstanbul Bilgi Üniversitesi yayınları SN - 9756857188 AV - QA9 .N47 2004 PY - 2004/// CY - İstanbul PB - İstanbul Bilgi Üniversitesi KW - Logic, symbolic and mathematical KW - Proposition (Logic) KW - Propositional calculus N1 - Includes index; Bibliography: page 161 ER -