TY - BOOK AU - Grünberg,Teo ED - Orta Doğu Teknik Üniversitesi (Ankara, Turkey) TI - Sembolik mantık el kitabı SN - 9757064319 AV - BC135 .G888 2000 PY - 2000/// CY - Ankara PB - METU Press KW - Logic, Symbolic and mathematical N1 - Includes bibliographical references and index; volume2; Özel mantık sistemleri ER -