Symbolic Logic Manual
Aliyar Özercan · ODTÜ Geliştirme Vakfı Yayıncılık