logic theory

[کامپیوتر] نظریه منطقی